edu::tum::cs::logic::sat::SampleSAT::Constraint Class Reference

Inheritance diagram for edu::tum::cs::logic::sat::SampleSAT::Constraint:

[legend]

List of all members.

Public Member Functions
abstract boolean	flipSatisfies (GroundAtom gndAtom)
abstract void	handleFlip (GroundAtom gndAtom)
abstract void	initState ()
abstract boolean	isTrue (PossibleWorld w)
abstract void	satisfyGreedily ()
abstract void	satisfyRandomly ()

---

Detailed Description

Definition at line 479 of file SampleSAT.java.

---

Member Function Documentation

abstract boolean edu::tum::cs::logic::sat::SampleSAT::Constraint::flipSatisfies

(

GroundAtom

gndAtom

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::SampleSAT::Clause.

abstract void edu::tum::cs::logic::sat::SampleSAT::Constraint::handleFlip

(

GroundAtom

gndAtom

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::SampleSAT::Clause.

abstract void edu::tum::cs::logic::sat::SampleSAT::Constraint::initState

(

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::SampleSAT::Clause.

abstract boolean edu::tum::cs::logic::sat::SampleSAT::Constraint::isTrue

(

PossibleWorld

w

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::SampleSAT::Clause.

abstract void edu::tum::cs::logic::sat::SampleSAT::Constraint::satisfyGreedily

(

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::SampleSAT::Clause.

abstract void edu::tum::cs::logic::sat::SampleSAT::Constraint::satisfyRandomly

(

)

[pure virtual]

Implemented in edu::tum::cs::logic::sat::SampleSAT::Clause.

---

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

• SampleSAT.java