All Classes and Interfaces
Class
Description
Represents the polarity of a call.
A disjunctive normal form (DNF) is a disjunction of conjunctions of literals.
Represents a functional dependency between two sets of variables.
In mathematical logic, a literal is an atomic formula or its negation.
Represents the possible reductions of a clause.