Gymbo

gymbosat::Or Member List

This is the complete list of members for gymbosat::Or, including all inherited members.

clauses() override | gymbosat::Or | inlinevirtual
distribute() override | gymbosat::Or | inlinevirtual
evaluate() override | gymbosat::Or | inlinevirtual
fixNegations() override | gymbosat::Or | inlinevirtual
freeVar() override | gymbosat::Or | inlinevirtual
getLeft() override | gymbosat::Or | inlinevirtual
getRight() override | gymbosat::Or | inlinevirtual
guessVar(std::string var, bool val) override | gymbosat::Or | inlinevirtual
left | gymbosat::Or | private
literalPolarity(std::string var) override | gymbosat::Or | inlinevirtual
literals() override | gymbosat::Or | inlinevirtual
name | gymbosat::Expr |
opcode | gymbosat::Expr |
Or(std::shared_ptr< Expr > left, std::shared_ptr< Expr > right) | gymbosat::Or | inline
right | gymbosat::Or | private
simplify() override | gymbosat::Or | inlinevirtual
to_string() override | gymbosat::Or | inlinevirtual
unConst() override | gymbosat::Or | inlinevirtual
unitClause() override | gymbosat::Or | inlinevirtual
~Expr() | gymbosat::Expr | inlinevirtual