weight.h

# #include "weight.h"

This page has information from files weight.h and weight.c.

## Contents

- Public Routines
- Public Definitions
- Introduction

## Public Routines in File weight.c

#### Index

clause_weight | init_weight | weight |

#### Details

    int clause_weight(Literals lits);

    void init_weight(Plist rules,
    		 int variable_weight,
    		 int constant_weight,
    		 int not_weight,
    		 int or_weight,
    		 int sk_constant_weight,
    		 int prop_atom_weight,
    		 int skolem_penalty,
    		 int nest_penalty,
    		 int depth_penalty,
    		 int var_penalty);

Initialize weighting. The rules are copied.

    int weight(Term t, Context subst);

## Public Definitions in File weight.h

## Introduction