Class Clauses

Static factory methods for Clause<T>.

Inheritance
Object
Clauses
Namespace: NanoByte.SatSolver
Assembly: NanoByte.SatSolver.dll
Syntax
public static class Clauses : Object

Methods

AtMostOne<T>(Literal<T>[])

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

Declaration
public static IEnumerable<Clause<T>> AtMostOne<T>(params Literal<T>[] literals)
    where T : IEquatable<T>
Parameters
Type Name Description
Literal<T>[] literals
Returns
Type Description
IEnumerable<Clause<T>>
Type Parameters
Name Description
T

The underlying type used to identify/compare Literals.

AtMostOne<T>(IEnumerable<Literal<T>>)

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

Declaration
public static IEnumerable<Clause<T>> AtMostOne<T>(IEnumerable<Literal<T>> literals)
    where T : IEquatable<T>
Parameters
Type Name Description
IEnumerable<Literal<T>> literals
Returns
Type Description
IEnumerable<Clause<T>>
Type Parameters
Name Description
T

The underlying type used to identify/compare Literals.

ExactlyOne<T>(Literal<T>[])

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

Declaration
public static IEnumerable<Clause<T>> ExactlyOne<T>(params Literal<T>[] literals)
    where T : IEquatable<T>
Parameters
Type Name Description
Literal<T>[] literals
Returns
Type Description
IEnumerable<Clause<T>>
Type Parameters
Name Description
T

The underlying type used to identify/compare Literals.

ExactlyOne<T>(IEnumerable<Literal<T>>)

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

Declaration
public static IEnumerable<Clause<T>> ExactlyOne<T>(IEnumerable<Literal<T>> literals)
    where T : IEquatable<T>
Parameters
Type Name Description
IEnumerable<Literal<T>> literals
Returns
Type Description
IEnumerable<Clause<T>>
Type Parameters
Name Description
T

The underlying type used to identify/compare Literals.