public interface Formula
Atoms
and logical operators.Modifier and Type | Method and Description |
---|---|
VariableTypeMap |
collectVariables(VariableTypeMap varMap)
Adds the
Variables |
Formula |
flatten()
Collapses nested formulas of the same type and remove duplicates at the top level.
|
Set<Atom> |
getAtoms(Set<Atom> atoms) |
Formula |
getDNF() |
Formula getDNF()
VariableTypeMap collectVariables(VariableTypeMap varMap)
Variables
varMap
- Formula flatten()
Copyright © 2018 University of California, Santa Cruz. All rights reserved.