Public Member Functions | |
| IntClause (const Clause *const &c, PredicateHashArray *const &predHashArray) | |
| IntClause (const IntClause &ic) | |
| ~IntClause () | |
| void | deleteIntPredicates () |
| void | addWt (const double &wt) |
| void | setWt (const double &wt) |
| double | getWt () const |
| void | setWtToHardWt () |
| bool | isHardClause () const |
| int | getNumIntPredicates () const |
| const int | getIntPredicate (const int &i) const |
| const Array< int > * | getIntPredicates () const |
| bool | isSatisfied (const PredicateHashArray *const &predHashArray, const Database *const &db) const |
| size_t | hashCode () |
| bool | same (const IntClause *const &c) |
| void | printWithoutWt (ostream &out) const |
| void | print (ostream &out) const |
| ostream & | print (ostream &out, const Domain *const &domain, const bool &withWt, const bool &asInt, const bool &withStrVar, const PredicateHashArray *const &predHashArray) const |
| ostream & | printWithoutWt (ostream &out, const Domain *const &domain, const PredicateHashArray *const &predHashArray) const |
| ostream & | printWithoutWtWithStrVar (ostream &out, const Domain *const &domain, const PredicateHashArray *const &predHashArray) const |
| ostream & | printWithWtAndStrVar (ostream &out, const Domain *const &domain, const PredicateHashArray *const &predHashArray) const |
| ostream & | print (ostream &out, const Domain *const &domain, const PredicateHashArray *const &predHashArray) const |
| ostream & | printWithoutWtWithStrVarAndPeriod (ostream &out, const Domain *const &domain, const PredicateHashArray *const &predHashArray) const |
Definition at line 84 of file intclause.h.
1.5.1