ConForM.CoopnTools.CoKer.TemporalLogic
Class HMLFormulaField
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement
|
+--ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicFormulaField
|
+--ConForM.CoopnTools.CoKer.TemporalLogic.HMLFormulaField
- All Implemented Interfaces:
- java.lang.Cloneable
- public class HMLFormulaField
- extends TemporalLogicFormulaField
HML formula lists
Methods inherited from class ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicFormulaField |
clone, contains, empty, equals, hashCode, size, toCompleteString, toCompleteTokens, toString, toTokens, unmodifiableCopy |
Methods inherited from class ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicElement |
cloneElement, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toCompleteTokens, toString, toString, toTokens, toTokens |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
HMLFormulaField
protected HMLFormulaField(HMLFormula formula)
- Constructor for one formula.
HMLFormulaField
protected HMLFormulaField(HMLFormula[] formulas)
- Constructor for an array of formulas.
HMLFormulaField
public HMLFormulaField(java.util.List formulas)
- Constructor for a list of formulas.
formulas
public TemporalLogicFormula[] formulas()
- Get the formulas of the field.
- Overrides:
formulas
in class TemporalLogicFormulaField
kind
public java.lang.String kind()
- Description copied from class:
TemporalLogicFormulaField
- Kind retrieving method. This method must be defined in the inherited
classes for returning a string allowing the user to know what kind of
symbol this is.
- Overrides:
kind
in class TemporalLogicFormulaField
- Following copied from class:
ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicFormulaField
- Returns:
- a string defining the temporal logic kind.