Package ConForM.CoopnTools.CoKer.TemporalLogic

Interface Summary
CharStream This interface describes a character stream that maintains line and column number positions of the characters.
TLParserConstants  
 

Class Summary
HMLAnd And operator.
HMLExpr HML expression, i.e.
HMLFactor HML factor, i.e.
HMLFormula This class represents an HML Formula Node in the abstract syntactic tree
HMLFormulaField HML formula lists
HMLNext Next operator
HMLNot Not operator.
HMLOr Or operator.
HMLPar Parenthesised formula.
HMLSync class sync
HMLTerm HML term, i.e.
TemporalLogic This class manages logic temporal formulas.
TemporalLogicElement This class manages logic temporal formulas.
TemporalLogicFormula This class manages logic temporal formulas.
TemporalLogicFormulaField This class manages fields of logic temporal formulas.
TextReader_CharStream An implementation of interface CharStream, where the stream is assumed to contain only characters (without unicode processing).
TLParserTokenManager  
Token Describes the input token stream.
 

Exception Summary
ParseException This exception is thrown when parse errors are encountered.
 

Error Summary
TokenMgrError