Class AbstractFixedPointFormulaNode<L,AP>
- java.lang.Object
-
- net.automatalib.common.util.string.AbstractPrintable
-
- net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode<L,AP>
-
- net.automatalib.modelchecker.m3c.formula.AbstractUnaryFormulaNode<L,AP>
-
- net.automatalib.modelchecker.m3c.formula.modalmu.AbstractFixedPointFormulaNode<L,AP>
-
- Type Parameters:
L
- label typeAP
- atomic proposition type
- All Implemented Interfaces:
Printable
,FormulaNode<L,AP>
public abstract class AbstractFixedPointFormulaNode<L,AP> extends AbstractUnaryFormulaNode<L,AP>
Abstract super-class for fix-point (sub-) formulas.
-
-
Constructor Summary
Constructors Constructor Description AbstractFixedPointFormulaNode(String variable, FormulaNode<L,AP> child)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(@Nullable Object o)
String
getVariable()
int
hashCode()
protected void
printMuCalcNode(Appendable a, String fixedPoint)
-
Methods inherited from class net.automatalib.modelchecker.m3c.formula.AbstractUnaryFormulaNode
getChild, getVarNumberChild, printUnaryFormulaNode
-
Methods inherited from class net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode
getVarNumber, setVarNumber
-
Methods inherited from class net.automatalib.common.util.string.AbstractPrintable
toString
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface net.automatalib.modelchecker.m3c.formula.FormulaNode
accept, toNNF
-
-
-
-
Constructor Detail
-
AbstractFixedPointFormulaNode
public AbstractFixedPointFormulaNode(String variable, FormulaNode<L,AP> child)
-
-
Method Detail
-
getVariable
public String getVariable()
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classAbstractUnaryFormulaNode<L,AP>
-
equals
public boolean equals(@Nullable Object o)
- Overrides:
equals
in classAbstractUnaryFormulaNode<L,AP>
-
printMuCalcNode
protected void printMuCalcNode(Appendable a, String fixedPoint) throws IOException
- Throws:
IOException
-
-