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

ExternalWrapper Member List

This is the complete list of members for ExternalWrapper, including all inherited members.
_id_manager (defined in ExternalWrapper)ExternalWrapper [private]
_increase_weight(BasicClause *clause, XLINT weight) (defined in ExternalWrapper)ExternalWrapper [virtual]
_output_binary_clause(LINT l1, LINT l2) (defined in ExternalWrapper)ExternalWrapper [virtual]
_output_binary_weighted_clause(LINT l1, LINT l2, XLINT weight) (defined in ExternalWrapper)ExternalWrapper [virtual]
_output_clause(LiteralVector &literals) (defined in ExternalWrapper)ExternalWrapper [virtual]
_output_unary_clause(LINT l) (defined in ExternalWrapper)ExternalWrapper [virtual]
_output_unary_weighted_clause(LINT l, XLINT weight) (defined in ExternalWrapper)ExternalWrapper [virtual]
_output_weighted_clause(LiteralVector &literals, XLINT weight) (defined in ExternalWrapper)ExternalWrapper [virtual]
_record_clause(LiteralVector &literals) (defined in ExternalWrapper)ExternalWrapper [virtual]
call_counter (defined in ExternalWrapper)ExternalWrapper [private]
clause_set (defined in ExternalWrapper)ExternalWrapper [private]
clause_split (defined in ExternalWrapper)ExternalWrapper [private]
constraints (defined in ExternalWrapper)ExternalWrapper [private]
dump(ostream &out) (defined in ExternalWrapper)ExternalWrapper [virtual]
external_solve(const vector< LINT > &function, vector< vector< LINT > > &constraints, IntVector &tmodel) (defined in ExternalWrapper)ExternalWrapper [private]
ExternalWrapper(IDManager &id_manager) (defined in ExternalWrapper)ExternalWrapper
functions (defined in ExternalWrapper)ExternalWrapper [private]
get_clause_count() (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline, virtual]
get_min_unsat_cost() (defined in ExternalWrapper)ExternalWrapper [inline, virtual]
get_model() (defined in ExternalWrapper)ExternalWrapper [inline, virtual]
get_soft_clauses_weight() (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline, virtual]
get_top() (defined in ExternalWrapper)ExternalWrapper [virtual]
get_weight_index(XLINT weight) const (defined in ExternalWrapper)ExternalWrapper [private]
hard_clauses (defined in ExternalWrapper)ExternalWrapper [private]
has_solution() (defined in ExternalWrapper)ExternalWrapper [virtual]
has_weight(XLINT weight) const (defined in ExternalWrapper)ExternalWrapper [inline, private]
increase_weight(BasicClause *clause, XLINT weight) (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline, virtual]
init() (defined in ExternalWrapper)ExternalWrapper [virtual]
leave_temporary_files (defined in ExternalWrapper)ExternalWrapper [private]
min_cost (defined in ExternalWrapper)ExternalWrapper [private]
model (defined in ExternalWrapper)ExternalWrapper [private]
multiplication_string (defined in ExternalWrapper)ExternalWrapper [private]
output_binary_clause(LINT l1, LINT l2) (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline, virtual]
output_binary_weighted_clause(LINT l1, LINT l2, XLINT weight) (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline, virtual]
output_clause(LiteralVector &literals) (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline, virtual]
output_clause_count (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [protected]
output_unary_clause(LINT l) (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline, virtual]
output_unary_weighted_clause(LINT l, XLINT weight) (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline, virtual]
output_weighted_clause(LiteralVector &literals, XLINT weight) (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline, virtual]
print_constraint(const vector< LINT > &constraint, ostream &output) (defined in ExternalWrapper)ExternalWrapper [private]
record_clause(LiteralVector &literals) (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline, virtual]
register_weight(XLINT weight)ExternalWrapper [inline, virtual]
set_leave_temporary_files(bool value=true) (defined in ExternalWrapper)ExternalWrapper [inline]
set_multiplication_string(const string &_multiplication_string) (defined in ExternalWrapper)ExternalWrapper [inline]
set_solver_command(const string &solver_command) (defined in ExternalWrapper)ExternalWrapper [inline]
set_temporary_directory(const string &value) (defined in ExternalWrapper)ExternalWrapper [inline]
set_top(XLINT top) (defined in ExternalWrapper)ExternalWrapper [virtual]
solution_value (defined in ExternalWrapper)ExternalWrapper [private]
solution_weights (defined in ExternalWrapper)ExternalWrapper [private]
solve() (defined in ExternalWrapper)ExternalWrapper [virtual]
solve(size_t function_index) (defined in ExternalWrapper)ExternalWrapper [private]
solver_command (defined in ExternalWrapper)ExternalWrapper [private]
SolverWrapperBase() (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline]
sorted_weights (defined in ExternalWrapper)ExternalWrapper [private]
split() (defined in ExternalWrapper)ExternalWrapper [private]
stamp (defined in ExternalWrapper)ExternalWrapper [private]
temporary_directory (defined in ExternalWrapper)ExternalWrapper [private]
total_soft_weight (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [protected]
unique_literals(LiteralVector &literals) (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline, protected]
weights (defined in ExternalWrapper)ExternalWrapper [private]
~ExternalWrapper() (defined in ExternalWrapper)ExternalWrapper [inline]
~SolverWrapper() (defined in SolverWrapper< BasicClause * >)SolverWrapper< BasicClause * > [inline, virtual]
~SolverWrapperBase() (defined in SolverWrapperBase< BasicClause * >)SolverWrapperBase< BasicClause * > [inline, virtual]

Generated by  Doxygen 1.6.0   Back to index