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

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

[legend]

List of all members.

Public Member Functions
	Clause (GroundLiteral[] lits)
boolean	flipSatisfies (GroundAtom gndAtom)
GroundLiteral[]	getLiterals ()
void	handleFlip (GroundAtom gndAtom)
void	initState ()
boolean	isTrue (PossibleWorld w)
void	removeLiteral (int idxGndAtom)
void	satisfyGreedily ()
void	satisfyRandomly ()
int	size ()
String	toString ()
Protected Attributes
Vector< GroundAtom >	gndAtoms
GroundLiteral[]	lits
HashSet< GroundAtom >	trueOnes

---

Detailed Description

Definition at line 488 of file SampleSAT.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::sat::SampleSAT::Clause::Clause

(

GroundLiteral[]

lits

)

[inline]

Definition at line 493 of file SampleSAT.java.

---

Member Function Documentation

boolean edu::tum::cs::logic::sat::SampleSAT::Clause::flipSatisfies

(

GroundAtom

gndAtom

)

[inline, virtual]

Implements edu::tum::cs::logic::sat::SampleSAT::Constraint.

Definition at line 531 of file SampleSAT.java.

GroundLiteral [] edu::tum::cs::logic::sat::SampleSAT::Clause::getLiterals

(

)

[inline]

Definition at line 581 of file SampleSAT.java.

void edu::tum::cs::logic::sat::SampleSAT::Clause::handleFlip

(

GroundAtom

gndAtom

)

[inline, virtual]

Implements edu::tum::cs::logic::sat::SampleSAT::Constraint.

Definition at line 536 of file SampleSAT.java.

void edu::tum::cs::logic::sat::SampleSAT::Clause::initState

(

)

[inline, virtual]

Implements edu::tum::cs::logic::sat::SampleSAT::Constraint.

Definition at line 561 of file SampleSAT.java.

boolean edu::tum::cs::logic::sat::SampleSAT::Clause::isTrue

(

PossibleWorld

w

)

[inline, virtual]

Implements edu::tum::cs::logic::sat::SampleSAT::Constraint.

Definition at line 505 of file SampleSAT.java.

void edu::tum::cs::logic::sat::SampleSAT::Clause::removeLiteral

(

int

idxGndAtom

)

[inline]

Definition at line 585 of file SampleSAT.java.

void edu::tum::cs::logic::sat::SampleSAT::Clause::satisfyGreedily

(

)

[inline, virtual]

Implements edu::tum::cs::logic::sat::SampleSAT::Constraint.

Definition at line 513 of file SampleSAT.java.

void edu::tum::cs::logic::sat::SampleSAT::Clause::satisfyRandomly

(

)

[inline, virtual]

Implements edu::tum::cs::logic::sat::SampleSAT::Constraint.

Definition at line 517 of file SampleSAT.java.

int edu::tum::cs::logic::sat::SampleSAT::Clause::size

(

)

[inline]

Definition at line 577 of file SampleSAT.java.

String edu::tum::cs::logic::sat::SampleSAT::Clause::toString

(

)

[inline]

Definition at line 556 of file SampleSAT.java.

---

Member Data Documentation

Vector<GroundAtom> edu::tum::cs::logic::sat::SampleSAT::Clause::gndAtoms [protected]

Definition at line 490 of file SampleSAT.java.

GroundLiteral [] edu::tum::cs::logic::sat::SampleSAT::Clause::lits [protected]

Definition at line 489 of file SampleSAT.java.

HashSet<GroundAtom> edu::tum::cs::logic::sat::SampleSAT::Clause::trueOnes [protected]

Definition at line 491 of file SampleSAT.java.

---

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

• SampleSAT.java