Notation.CastFunction, Notation.CharLiteral, Notation.Constant, Notation.ElementaryUpdateNotation, Notation.ElementOfNotation, Notation.FunctionNotation, Notation.HeapConstructorNotation, Notation.IfThenElse, Notation.Infix, Notation.LabelNotation, Notation.ModalityNotation, Notation.ModalSVNotation, Notation.NumLiteral, Notation.ObserverNotation, Notation.ParallelUpdateNotation, Notation.Postfix, Notation.Prefix, Notation.Quantifier, Notation.SchemaVariableNotation, Notation.SelectNotation, Notation.SeqConcatNotation, Notation.SeqGetNotation, Notation.SeqSingletonNotation, Notation.SingletonNotation, Notation.StoreNotation, Notation.Subst, Notation.UpdateApplicationNotation, Notation.VariableNotation
Modifier and Type | Field and Description |
---|---|
private int |
ass |
private java.lang.String |
left |
private java.lang.String |
right |
Constructor and Description |
---|
ModalityNotation(java.lang.String left,
java.lang.String right,
int prio,
int ass) |
Modifier and Type | Method and Description |
---|---|
void |
print(Term t,
LogicPrinter sp)
Print a term to a
LogicPrinter . |
getPriority, printContinuingBlock
private final java.lang.String left
private final java.lang.String right
private final int ass
public ModalityNotation(java.lang.String left, java.lang.String right, int prio, int ass)
public void print(Term t, LogicPrinter sp) throws java.io.IOException
Notation
LogicPrinter
. Concrete subclasses override
this to call one of the printXYZTerm
of
LogicPrinter
, which do the layout.