Class Literal<T>

A Boolean Literal.

Inheritance

Object

Literal<T>

Implements

IEquatable<Literal<T>>

Namespace: NanoByte.SatSolver

Assembly: NanoByte.SatSolver.dll

Syntax

public sealed class Literal<T> : ValueType where T : IEquatable<T>

Type Parameters

Name	Description
T	The underlying type used to identify/compare Literals.

Constructors

Literal(T, Boolean)

Creates a Literal.

Declaration

public Literal(T value, bool negated = false)

Parameters

Type	Name	Description
T	value	The underlying value used to identify/compare Literals.
Boolean	negated	Indicates whether this Literal has been negated.

Properties

Negated

Indicates whether this Literal has been negated.

Declaration

public bool Negated { get; }

Property Value

Type	Description
Boolean

Value

The underlying value used to identify/compare Literals.

Declaration

public T Value { get; }

Property Value

Type	Description
T

Methods

ConflictsWith(Literal<T>)

Checks whether this Literal conflicts with the given literal.

Declaration

public bool ConflictsWith(Literal<T> literal)

Parameters

Type	Name	Description
Literal<T>	literal

Returns

Type	Description
Boolean

Equals(Literal<T>)

Declaration

public bool Equals(Literal<T> other)

Parameters

Type	Name	Description
Literal<T>	other

Returns

Type	Description
Boolean

Equals(Object)

Declaration

public override bool Equals(object obj)

Parameters

Type	Name	Description
Object	obj

Returns

Type	Description
Boolean

GetHashCode()

Declaration

public override int GetHashCode()

Returns

Type	Description
Int32

IsPure(IEnumerable<Literal<T>>)

Checks whether this Literal conflicts with any of the given literals.

Declaration

public bool IsPure(IEnumerable<Literal<T>> literals)

Parameters

Type	Name	Description
IEnumerable<Literal<T>>	literals

Returns

Type	Description
Boolean

Negate()

Returns a negated copy of this Literal.

Declaration

public Literal<T> Negate()

Returns

Type	Description
Literal<T>

ToString()

Declaration

public override string ToString()

Returns

Type	Description
String

Operators

BitwiseAnd(Literal<T>, Literal<T>)

Creates a Formula<T> consisting of two Clause<T>s, each containing a single Literal<T>.

Declaration

public static Formula<T> operator &(Literal<T> literal1, Literal<T> literal2)

Parameters

Type	Name	Description
Literal<T>	literal1	The Literal in the first Clause.
Literal<T>	literal2	The Literal in the second Clause.

Returns

Type	Description
Formula<T>

BitwiseOr(Literal<T>, Literal<T>)

Creates a Clause<T> consisting of two Literal<T>s.

Declaration

public static Clause<T> operator |(Literal<T> literal1, Literal<T> literal2)

Parameters

Type	Name	Description
Literal<T>	literal1	The first Literal in the Clause.
Literal<T>	literal2	The second Literal in the Clause.

Returns

Type	Description
Clause<T>

Equality(Literal<T>, Literal<T>)

Declaration

public static bool operator ==(Literal<T> left, Literal<T> right)

Parameters

Type	Name	Description
Literal<T>	left
Literal<T>	right

Returns

Type	Description
Boolean

Implicit(T to Literal<T>)

Creates a Literal<T>.

Declaration

public static implicit operator Literal<T>(T value)

Parameters

Type	Name	Description
T	value	The underlying value used to identify/compare Literals.

Returns

Type	Description
Literal<T>

Implicit(Literal<T> to Clause<T>)

Creates a Clause<T> consisting of a single Literal<T>.

Declaration

public static implicit operator Clause<T>(Literal<T> literal)

Parameters

Type	Name	Description
Literal<T>	literal	The single Literal in the Clause.

Returns

Type	Description
Clause<T>

Inequality(Literal<T>, Literal<T>)

Declaration

public static bool operator !=(Literal<T> left, Literal<T> right)

Parameters

Type	Name	Description
Literal<T>	left
Literal<T>	right

Returns

Type	Description
Boolean

LogicalNot(Literal<T>)

Returns a negated copy of this Literal.

Declaration

public static Literal<T> operator !(Literal<T> literal)

Parameters

Type	Name	Description
Literal<T>	literal

Returns

Type	Description
Literal<T>

Implements

System.IEquatable<T>