SemOpt
0.2alpha5-SCC
|
Class encompassing a list of OrClause
linked by and operators.
More...
Public Member Functions | |
SATFormulae () | |
Simple constructor. | |
void | appendOrClause (OrClause) |
Method for appending a new OrClause to the other clause. | |
void | toSS (stringstream *) const |
Method for transforming the SAT formulae into a string DIMACS compliant. | |
void | clone (SATFormulae *) |
Method for cloning (not coping the pointers) this object into a new one. | |
int | size () |
Method returning the number of OrClause. | |
bool | empty () |
Check if there are no formulae. |
Class encompassing a list of OrClause
linked by and operators.
Definition at line 19 of file SATFormulae.h.
void SATFormulae::appendOrClause | ( | OrClause | c | ) |
Method for appending a new OrClause to the other clause.
[in] | c | The OrClause to append |
void |
Definition at line 24 of file SATFormulae.cpp.
void SATFormulae::clone | ( | SATFormulae * | newsat | ) |
Method for cloning (not coping the pointers) this object into a new one.
[out] | newsat | A pointer to an initialised SATFormulae() object which will contain the copy of this object |
void |
Definition at line 68 of file SATFormulae.cpp.
References SATFormulae(), and size().
bool SATFormulae::empty | ( | ) |
int SATFormulae::size | ( | ) |
Method returning the number of OrClause.
int | The number of OrClause |
Definition at line 58 of file SATFormulae.cpp.
Referenced by clone().
void SATFormulae::toSS | ( | stringstream * | ss | ) | const |
Method for transforming the SAT formulae into a string DIMACS
compliant.
[out] | ss | A pointer to a stringstream object already initialised |
void |
Definition at line 34 of file SATFormulae.cpp.