Logo Search packages:      
Sourcecode: sat4j version File versions

org::sat4j::minisat::core::IPhaseSelectionStrategy Interface Reference

Inheritance diagram for org::sat4j::minisat::core::IPhaseSelectionStrategy:

org::sat4j::minisat::orders::RandomLiteralSelectionStrategy org::sat4j::minisat::orders::PhaseInLastLearnedClauseSelectionStrategy org::sat4j::minisat::orders::RSATPhaseSelectionStrategy org::sat4j::minisat::orders::UserFixedPhaseSelectionStrategy

List of all members.

Detailed Description

The responsibility of that class is to choose the phase (positive or negative) of the variable that was selected by the IOrder.


Definition at line 40 of file IPhaseSelectionStrategy.java.

Public Member Functions

void assignLiteral (int p)
void init (int var, int p)
void init (int nlength)
int select (int var)

Package Functions

void updateVar (int p)

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

Generated by  Doxygen 1.6.0   Back to index