SAT Class Reference

Superclass of all satisfiability solvers. More...

#include <sat.h>

Inheritance diagram for SAT:

List of all members.

Public Member Functions
	SAT (VariableState *state, long int seed, const bool &trackClauseTrueCnts)
virtual	~SAT ()
const int	getNumSolutions ()
void	setNumSolutions (const int &numSolutions)
const long double	getTargetCost ()
void	setTargetCost (const long double &targetCost)
void	printProbabilities (ostream &out)
	Prints the best state found.
double	getProbability (GroundPredicate *const &gndPred)
	Gets the truth value of a ground predicate in the best state found.
void	printTruePreds (ostream &out)
	Prints the predicates set to true in the best state to a stream.
Protected Attributes
int	maxTries_
int	maxSteps_
long double	targetCost_
int	numSolutions_
Array< int >	changed_
int	numFlips_

---

Detailed Description

Superclass of all satisfiability solvers.

This class does not implement all pure virtual functions of Inference and is thus an abstract class.

Definition at line 75 of file sat.h.

---

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

• src/infer/sat.h

---