NanoByte SAT Solver 0.3.0
DPLL Boolean Satisfiability Solver for .NET
NanoByte.SatSolver.Clauses Class Reference

Static factory methods for Clause<T>. More...

Static Public Member Functions

static IEnumerable< Clause< T > > AtMostOne< T > (params Literal< T >[] literals)
 Creates Clauses that together prevent more than one of the specified literals from being true. More...
 
static IEnumerable< Clause< T > > AtMostOne< T > (IEnumerable< Literal< T > > literals)
 Creates Clauses that together prevent more than one of the specified literals from being true. More...
 
static IEnumerable< Clause< T > > ExactlyOne< T > (params Literal< T >[] literals)
 Creates Clauses that together require exactly one of the specified literals to be true. More...
 
static IEnumerable< Clause< T > > ExactlyOne< T > (IEnumerable< Literal< T > > literals)
 Creates Clauses that together require exactly one of the specified literals to be true. More...
 

Detailed Description

Static factory methods for Clause<T>.

Member Function Documentation

◆ AtMostOne< T >() [1/2]

static IEnumerable< Clause< T > > NanoByte.SatSolver.Clauses.AtMostOne< T > ( IEnumerable< Literal< T > >  literals)
static

Creates Clauses that together prevent more than one of the specified literals from being true.

Template Parameters
TThe underlying type used to identify/compare Literals.
Type Constraints
T :IEquatable<T> 
T :AtMostOne 
T :literals.ToArray() 

◆ AtMostOne< T >() [2/2]

static IEnumerable< Clause< T > > NanoByte.SatSolver.Clauses.AtMostOne< T > ( params Literal< T >[]  literals)
inlinestatic

Creates Clauses that together prevent more than one of the specified literals from being true.

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

◆ ExactlyOne< T >() [1/2]

static IEnumerable< Clause< T > > NanoByte.SatSolver.Clauses.ExactlyOne< T > ( IEnumerable< Literal< T > >  literals)
static

Creates Clauses that together require exactly one of the specified literals to be true.

Template Parameters
TThe underlying type used to identify/compare Literals.
Type Constraints
T :IEquatable<T> 
T :ExactlyOne 
T :literals.ToArray() 

◆ ExactlyOne< T >() [2/2]

static IEnumerable< Clause< T > > NanoByte.SatSolver.Clauses.ExactlyOne< T > ( params Literal< T >[]  literals)
inlinestatic

Creates Clauses that together require exactly one of the specified literals to be true.

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

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