edu::tum::cs::logic::sat::weighted::MaxWalkSAT::Constraint Class Reference

Inheritance diagram for edu::tum::cs::logic::sat::weighted::MaxWalkSAT::Constraint:

[legend]

List of all members.

Public Member Functions
abstract boolean	flipSatisfies (GroundAtom gndAtom)
abstract double	getDelta ()
abstract double	getDeltaFormula (boolean trueFlip)
abstract Vector< GroundAtom >	getGAsOfConstraint ()
abstract Vector< Object >	greedySatisfy ()
abstract void	handleFlip (GroundAtom gndAtom)
abstract void	initState ()
abstract boolean	isHard ()

---

Detailed Description

Definition at line 622 of file logic/sat/weighted/MaxWalkSAT.java.

---

Member Function Documentation

abstract boolean edu::tum::cs::logic::sat::weighted::MaxWalkSAT::Constraint::flipSatisfies

(

GroundAtom

gndAtom

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::weighted::MaxWalkSAT::WeightedClause.

abstract double edu::tum::cs::logic::sat::weighted::MaxWalkSAT::Constraint::getDelta

(

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::weighted::MaxWalkSAT::WeightedClause.

abstract double edu::tum::cs::logic::sat::weighted::MaxWalkSAT::Constraint::getDeltaFormula

(

boolean

trueFlip

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::weighted::MaxWalkSAT::WeightedClause.

abstract Vector<GroundAtom> edu::tum::cs::logic::sat::weighted::MaxWalkSAT::Constraint::getGAsOfConstraint

(

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::weighted::MaxWalkSAT::WeightedClause.

abstract Vector<Object> edu::tum::cs::logic::sat::weighted::MaxWalkSAT::Constraint::greedySatisfy

(

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::weighted::MaxWalkSAT::WeightedClause.

abstract void edu::tum::cs::logic::sat::weighted::MaxWalkSAT::Constraint::handleFlip

(

GroundAtom

gndAtom

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::weighted::MaxWalkSAT::WeightedClause.

abstract void edu::tum::cs::logic::sat::weighted::MaxWalkSAT::Constraint::initState

(

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::weighted::MaxWalkSAT::WeightedClause.

abstract boolean edu::tum::cs::logic::sat::weighted::MaxWalkSAT::Constraint::isHard

(

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::weighted::MaxWalkSAT::WeightedClause.

---

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

• logic/sat/weighted/MaxWalkSAT.java