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