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

Public Member Functions | Protected Member Functions | Protected Attributes

SolverWrapperBase< ClausePointer > Class Template Reference

Inheritance diagram for SolverWrapperBase< ClausePointer >:
Inheritance graph
Collaboration diagram for SolverWrapperBase< ClausePointer >:
Collaboration graph

List of all members.

Public Member Functions

virtual void _increase_weight (ClausePointer clause, XLINT weight)=0
virtual void _output_binary_clause (LINT l1, LINT l2)=0
virtual void _output_binary_weighted_clause (LINT l1, LINT l2, XLINT weight)=0
virtual void _output_clause (LiteralVector &literals)=0
virtual void _output_unary_clause (LINT l)=0
virtual void _output_unary_weighted_clause (LINT l, XLINT weight)=0
virtual void _output_weighted_clause (LiteralVector &literals, XLINT weight)=0
virtual ClausePointer _record_clause (LiteralVector &literals)=0
virtual void dump (ostream &out)=0
virtual UINT get_clause_count ()
virtual XLINT get_min_unsat_cost ()=0
virtual IntVector & get_model ()=0
virtual XLINT get_soft_clauses_weight ()
virtual XLINT get_top ()=0
virtual bool has_solution ()=0
void increase_weight (BasicClause *clause, XLINT weight)
virtual void increase_weight (ClausePointerclause, XLINT weight)=0
virtual void init ()=0
void output_binary_clause (LINT l1, LINT l2)
void output_binary_weighted_clause (LINT l1, LINT l2, XLINT weight)
void output_clause (LiteralVector &literals)
void output_unary_clause (LINT l)
void output_unary_weighted_clause (LINT l, XLINT weight)
void output_weighted_clause (LiteralVector &literals, XLINT weight)
virtual ClausePointer record_clause (LiteralVector &literals)
virtual bool register_weight (XLINT weight)=0
virtual void set_top (XLINT top)=0
virtual bool solve ()=0

Protected Member Functions

void unique_literals (LiteralVector &literals)

Protected Attributes

UINT output_clause_count
XLINT total_soft_weight

Detailed Description

template<class ClausePointer>
class SolverWrapperBase< ClausePointer >

Definition at line 33 of file SolverWrapperBase.hh.

The documentation for this class was generated from the following file:

Generated by  Doxygen 1.6.0   Back to index