edu::tum::cs::logic::sat::WalkSAT Class Reference

Inheritance diagram for edu::tum::cs::logic::sat::WalkSAT:

[legend]

List of all members.

Public Member Functions
	WalkSAT (Iterable<?extends edu.tum.cs.logic.sat.Clause > kb, PossibleWorld state, WorldVariables vars, Iterable<?extends AbstractVariable > db) throws Exception
Protected Member Functions
void	makeMove ()

---

Detailed Description

Definition at line 13 of file WalkSAT.java.

---

Constructor & Destructor Documentation

edu::tum::cs::logic::sat::WalkSAT::WalkSAT	(	Iterable<?extends edu.tum.cs.logic.sat.Clause >	kb,
		PossibleWorld	state,
		WorldVariables	vars,
		Iterable<?extends AbstractVariable >	db
	)			throws Exception [inline]

Definition at line 15 of file WalkSAT.java.

---

Member Function Documentation

void edu::tum::cs::logic::sat::WalkSAT::makeMove

(

)

[inline, protected]

Reimplemented from edu::tum::cs::logic::sat::SampleSAT.

Definition at line 20 of file WalkSAT.java.

---

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

• WalkSAT.java