Orbital library

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.
 


Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.