#include "weight.h"

Contents

• Public Routines
• Public Definitions
• Introduction

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);

int weight(Term t, Context subst);

Public Definitions in File weight.h

Introduction