Class Clauses

Namespace

NanoByte.SatSolver

Assembly

NanoByte.SatSolver.dll

Static factory methods for Clause<T>.

public static class Clauses

Inheritance

object

Clauses

Inherited Members

object.ToString()

object.Equals(object)

object.Equals(object, object)

object.ReferenceEquals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

Methods

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

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

public static IEnumerable<Clause<T>> AtMostOne<T>(params Literal<T>[] literals) where T : IEquatable<T>

Parameters

literals Literal<T>[]

Returns

IEnumerable<Clause<T>>

Type Parameters

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.

public static IEnumerable<Clause<T>> AtMostOne<T>(IEnumerable<Literal<T>> literals) where T : IEquatable<T>

Parameters

literals IEnumerable<Literal<T>>

Returns

IEnumerable<Clause<T>>

Type Parameters

T

The underlying type used to identify/compare Literals.

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

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

public static IEnumerable<Clause<T>> ExactlyOne<T>(params Literal<T>[] literals) where T : IEquatable<T>

Parameters

literals Literal<T>[]

Returns

IEnumerable<Clause<T>>

Type Parameters

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.

public static IEnumerable<Clause<T>> ExactlyOne<T>(IEnumerable<Literal<T>> literals) where T : IEquatable<T>

Parameters

literals IEnumerable<Literal<T>>

Returns

IEnumerable<Clause<T>>

Type Parameters

T

The underlying type used to identify/compare Literals.