NanoByte SAT Solver
Public Member Functions | Protected Member Functions | List of all members
NanoByte.SatSolver.Solver< T > Class Template Reference

A Boolean Satisfiability Solver. More...

Public Member Functions

bool IsSatisfiable (Formula< T > formula)
 Checks whether this formula is satisfiable. More...
 

Protected Member Functions

virtual Literal< T > ChooseLiteral (Formula< T > formula)
 Picks a Literal<T> from the formula to assign a truth value to during backtracking. More...
 

Detailed Description

A Boolean Satisfiability Solver.

Template Parameters
TThe underlying type used to identify/compare Literals.
Type Constraints
T :IEquatable<T> 

Member Function Documentation

◆ ChooseLiteral()

virtual Literal<T> NanoByte.SatSolver.Solver< T >.ChooseLiteral ( Formula< T >  formula)
protectedvirtual

Picks a Literal<T> from the formula to assign a truth value to during backtracking.

◆ IsSatisfiable()

bool NanoByte.SatSolver.Solver< T >.IsSatisfiable ( Formula< T >  formula)
inline

Checks whether this formula is satisfiable.


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