#include <CNCL/FRule.h>
CN_FRULE
CNObject
None
None
Constructors:
CNFRule();
CNFRule(CNParam *param);
CNFRule
variable.
In addition to the member functions required by CNCL, CNFRule
provides:
void add_lhs(CNFClause *clause);
void add_lhs(CNFClause &clause);
void add_rhs(CNFClause *clause);
void add_rhs(CNFClause &clause);
CNFClause
to the LHS or the RHS rules.
int get_n_lhs() const;
int get_n_rhs() const;
CNFClause* get_lhs(int i) const;
CNFClause* get_rhs(int i) const;
i
.
double certainty(double x);
double set_certainty(double x);
x
and returns the old certainty.
double certainty() const;
double get_certainty() const;
double aggregate_value() const;
double aggregate()
Go to the first, previous, next, last section, table of contents.