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


Fields inherited from class ConForM.CoopnTools.CoKer.TemporalLogic.TemporalLogicFormulaField
formulas
 
Constructor Summary
protected HMLFormulaField(HMLFormula formula)
          Constructor for one formula.
protected HMLFormulaField(HMLFormula[] formulas)
          Constructor for an array of formulas.
  HMLFormulaField(java.util.List formulas)
          Constructor for a list of formulas.
 
Method Summary
 TemporalLogicFormula[] formulas()
          Get the formulas of the field.
 java.lang.String kind()
          Kind retrieving method.
 
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
 

Constructor Detail

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.
Method Detail

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.