#include "weight.h"
This page has information from files
weight.h and weight.c.
Contents
Public Routines in File weight.c
Index
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