Uses of Class
orbital.logic.sign.concrete.Notation

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.