Logo Search packages:      
Sourcecode: packup version File versions  Download package

SolverWrapperBase< ClausePointer > Member List

This is the complete list of members for SolverWrapperBase< ClausePointer >, including all inherited members.
_increase_weight(ClausePointer clause, XLINT weight)=0 (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [pure virtual]
_output_binary_clause(LINT l1, LINT l2)=0 (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [pure virtual]
_output_binary_weighted_clause(LINT l1, LINT l2, XLINT weight)=0 (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [pure virtual]
_output_clause(LiteralVector &literals)=0 (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [pure virtual]
_output_unary_clause(LINT l)=0 (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [pure virtual]
_output_unary_weighted_clause(LINT l, XLINT weight)=0 (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [pure virtual]
_output_weighted_clause(LiteralVector &literals, XLINT weight)=0 (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [pure virtual]
_record_clause(LiteralVector &literals)=0 (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [pure virtual]
dump(ostream &out)=0 (defined in SolverWrapper< ClausePointer >)SolverWrapper< ClausePointer > [pure virtual]
get_clause_count() (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline, virtual]
get_min_unsat_cost()=0 (defined in SolverWrapper< ClausePointer >)SolverWrapper< ClausePointer > [pure virtual]
get_model()=0 (defined in SolverWrapper< ClausePointer >)SolverWrapper< ClausePointer > [pure virtual]
get_soft_clauses_weight() (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline, virtual]
get_top()=0 (defined in SolverWrapper< ClausePointer >)SolverWrapper< ClausePointer > [pure virtual]
has_solution()=0 (defined in SolverWrapper< ClausePointer >)SolverWrapper< ClausePointer > [pure virtual]
increase_weight(BasicClause *clause, XLINT weight) (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline]
increase_weight(ClausePointerclause, XLINT weight)=0 (defined in SolverWrapper< ClausePointer >)SolverWrapper< ClausePointer > [pure virtual]
init()=0 (defined in SolverWrapper< ClausePointer >)SolverWrapper< ClausePointer > [pure virtual]
output_binary_clause(LINT l1, LINT l2) (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline, virtual]
output_binary_weighted_clause(LINT l1, LINT l2, XLINT weight) (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline, virtual]
output_clause(LiteralVector &literals) (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline, virtual]
output_clause_count (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [protected]
output_unary_clause(LINT l) (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline, virtual]
output_unary_weighted_clause(LINT l, XLINT weight) (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline, virtual]
output_weighted_clause(LiteralVector &literals, XLINT weight) (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline, virtual]
record_clause(LiteralVector &literals) (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline, virtual]
register_weight(XLINT weight)=0SolverWrapper< ClausePointer > [pure virtual]
set_top(XLINT top)=0 (defined in SolverWrapper< ClausePointer >)SolverWrapper< ClausePointer > [pure virtual]
solve()=0 (defined in SolverWrapper< ClausePointer >)SolverWrapper< ClausePointer > [pure virtual]
SolverWrapperBase() (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline]
total_soft_weight (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [protected]
unique_literals(LiteralVector &literals) (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline, protected]
~SolverWrapper() (defined in SolverWrapper< ClausePointer >)SolverWrapper< ClausePointer > [inline, virtual]
~SolverWrapperBase() (defined in SolverWrapperBase< ClausePointer >)SolverWrapperBase< ClausePointer > [inline, virtual]

Generated by  Doxygen 1.6.0   Back to index