Assignment

Undocumented in source.

struct Assignment {

bool[Literal] _assignment;

RedBlackTree!Literal unassigned;

this(size_t variableNum);

this(Assignment rhs);

void clear();

void assign(Literal literal);

Literal getUnassignedLiteral();

bool getTruthOfVariable(Literal id);

string toString();

void fillUnassignedLiterals();

string toDIMACSFormat();

}

Constructors

this this(size_t variableNum): Undocumented in source.
this this(Assignment rhs): Undocumented in source.

Members

Functions

assign void assign(Literal literal): Undocumented in source. Be warned that the author may not have intended to support it.
clear void clear(): Undocumented in source. Be warned that the author may not have intended to support it.
fillUnassignedLiterals void fillUnassignedLiterals(): Undocumented in source. Be warned that the author may not have intended to support it.
getTruthOfVariable bool getTruthOfVariable(Literal id): Undocumented in source. Be warned that the author may not have intended to support it.
getUnassignedLiteral Literal getUnassignedLiteral(): Undocumented in source. Be warned that the author may not have intended to support it.
toDIMACSFormat string toDIMACSFormat(): Undocumented in source. Be warned that the author may not have intended to support it.
toString string toString(): Undocumented in source. Be warned that the author may not have intended to support it.

Variables

_assignment bool[Literal] _assignment;: Undocumented in source.
unassigned RedBlackTree!Literal unassigned;: Undocumented in source.

Meta

Source

See Implementation

satd assignment aliases

Variable

structs

Assignment