Clause

節

struct Clause {

alias ID = size_t;

Set!Literal literals;

this(ID id, Set!Literal literals);

this(ID id, Literal[] literals);

this(Set!Literal literals);

this(Literal[] literals);

this(Clause clause);

bool isEmptyClause();

bool isUnitClause();

Literal unitLiteral();

bool containsLiteral(Literal lit);

auto removeLiteral(Literal lit);

int opCmp(R other);

bool opBinaryRight(Literal lit);

string toString();

}

Constructors

this this(ID id, Set!Literal literals): Undocumented in source.
this this(ID id, Literal[] literals): Undocumented in source.
this this(Set!Literal literals): Undocumented in source.
this this(Literal[] literals): Undocumented in source.
this this(Clause clause): Undocumented in source.

Members

Aliases

ID alias ID = size_t: Undocumented in source.

Functions

containsLiteral bool containsLiteral(Literal lit): Undocumented in source. Be warned that the author may not have intended to support it.
isEmptyClause bool isEmptyClause(): Undocumented in source. Be warned that the author may not have intended to support it.
isUnitClause bool isUnitClause(): Undocumented in source. Be warned that the author may not have intended to support it.
opBinaryRight bool opBinaryRight(Literal lit): Undocumented in source. Be warned that the author may not have intended to support it.
opCmp int opCmp(R other): Undocumented in source. Be warned that the author may not have intended to support it.
removeLiteral auto removeLiteral(Literal lit): 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.
unitLiteral Literal unitLiteral(): Undocumented in source. Be warned that the author may not have intended to support it.

Variables

id ID id;: 節を区別するための ID
literals Set!Literal literals;: 節に含まれる Literal の集合

Meta

Source

See Implementation

satd cnf aliases

functions

negate

structs