public class Disjunction extends AbstractBranchFormula<Disjunction>
formulas
Constructor and Description |
---|
Disjunction(Formula... f) |
Modifier and Type | Method and Description |
---|---|
Formula |
getDNF() |
protected String |
separatorString() |
collectVariables, equals, flatten, get, getAtoms, hashCode, length, toString
public Disjunction(Formula... f)
public Formula getDNF()
protected String separatorString()
separatorString
in class AbstractBranchFormula<Disjunction>
Copyright © 2018 University of California, Santa Cruz. All rights reserved.