public class Negation extends Object implements Formula
Modifier and Type | Method and Description |
---|---|
VariableTypeMap |
collectVariables(VariableTypeMap varMap)
Adds the
Variables |
boolean |
equals(Object oth) |
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 |
getFormula() |
int |
hashCode() |
String |
toString() |
public Negation(Formula f)
public Formula getFormula()
public Formula getDNF()
public VariableTypeMap collectVariables(VariableTypeMap varMap)
Formula
Variables
collectVariables
in interface Formula
public Formula flatten()
Formula
Copyright © 2018 University of California, Santa Cruz. All rights reserved.