Module libprop_sat_solver::formula::operators

Unary and binary operators for propositional formulas.

Enums

BinaryOperator	There are four basic binary operators:
Operator	There are two types of operators in propositional formulas:
UnaryOperator	There is only one basic unary operator, the negation (logical NOT) operator.