|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Notation | |
---|---|
orbital.logic.functor | Contains template interfaces for logic functors like Predicates and Functions that can be used for generalized call-back, and functional operations based upon them. |
orbital.logic.sign.concrete | Defines the concrete syntax of formal languages. |
Uses of Notation in orbital.logic.functor |
---|
Methods in orbital.logic.functor that return Notation | |
---|---|
Notation |
Functor.Composite.getNotation()
Get the notation used. |
Methods in orbital.logic.functor with parameters of type Notation | |
---|---|
void |
Functor.Composite.setNotation(Notation notation)
Set the notation to use. |
Uses of Notation in orbital.logic.sign.concrete |
---|
Fields in orbital.logic.sign.concrete declared as Notation | |
---|---|
static Notation |
Notation.AUTO
Specifies automatic compositor-dependant notation as registered. |
static Notation |
Notation.BESTFIX
Specifies best mixed notation "a*(b+f(c)) + d" inserting
brackets whenever necessary. |
static Notation |
Notation.DEFAULT
Specifies to use system default notation. |
static Notation |
Notation.FULLFIX
Specifies full-bracket mixed notation "(a*(b+f(c))) + d" . |
static Notation |
Notation.INFIX
Specifies infix notation "a f b" . |
static Notation |
Notation.POSTFIX
Specifies postfix notation "(a,b) f" . |
static Notation |
Notation.PREFIX
Specifies prefix notation "f(a,b)" . |
Methods in orbital.logic.sign.concrete that return Notation | |
---|---|
static Notation |
Notation.getDefault()
Get the notation used for the synonym DEFAULT. |
Notation |
Notation.NotationSpecification.getNotation()
Get the notation object to use for formatting. |
Methods in orbital.logic.sign.concrete with parameters of type Notation | |
---|---|
static void |
Notation.setDefault(Notation notation)
Set which notation to use for DEFAULT. |
Constructors in orbital.logic.sign.concrete with parameters of type Notation | |
---|---|
Notation.NotationSpecification(int precedence,
Notation notation,
int arity)
Create a specification of a compositor's notation. |
|
Notation.NotationSpecification(int precedence,
java.lang.String associativity,
Notation notation)
Create a specification of a compositor's notation. |
|
Notation.NotationSpecification(int precedence,
java.lang.String associativity,
Notation notation,
int arity)
Create a specification of a compositor's notation. |
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |