Package ru.ispras.fortress.logic
-
Class Summary Class Description BitBlaster.Operand Represents a bit-vector operand.Clause Clause
represents a clause, which is a set of literals.Clause.Builder Clause.Builder
implements a clause builder.NormalForm This class represents a normal form, which is a set of clauses.NormalForm.Builder NormalForm.Builder
implements a clause builder.Orthogonalizer Orthogonalizer
contains a set of utils dealing with disjunctive normal forms. -
Enum Summary Enum Description BitBlaster BitBlaster
implements an encoder of Fortress nodes to SAT4J CNFs.NormalForm.Type This enumeration contains the type of the normal form.