Orbital library

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

Packages that use Notation.NotationSpecification
orbital.logic.sign Defines generic interfaces for formal languages. 
orbital.logic.sign.concrete Defines the concrete syntax of formal languages. 
orbital.moon.logic Contains implementations of some logics as well as a logic and mathematical expression parser. 
 

Uses of Notation.NotationSpecification in orbital.logic.sign
 

Methods in orbital.logic.sign that return Notation.NotationSpecification
 Notation.NotationSpecification SymbolBase.getNotation()
           
 Notation.NotationSpecification Symbol.getNotation()
          Get the notation used when this symbol occurs.
 

Methods in orbital.logic.sign with parameters of type Notation.NotationSpecification
 void SymbolBase.setNotation(Notation.NotationSpecification notation)
           
 void Symbol.setNotation(Notation.NotationSpecification notation)
          Set the notation used when this symbol occurs.
 

Constructors in orbital.logic.sign with parameters of type Notation.NotationSpecification
SymbolBase(java.lang.String signifier, Type type, Notation.NotationSpecification notation)
          Construct a constant symbol with a signifier, type specification, and notation.
SymbolBase(java.lang.String signifier, Type type, Notation.NotationSpecification notation, boolean variable)
          Construct a symbol with a signifier, type specification, and notation.
 

Uses of Notation.NotationSpecification in orbital.logic.sign.concrete
 

Methods in orbital.logic.sign.concrete that return Notation.NotationSpecification
static Notation.NotationSpecification Notation.getNotation(java.lang.Object compositor)
          Get the default notation specification registered for a compositor.
static Notation.NotationSpecification Notation.removeNotation(java.lang.Object f)
          Remove any default notation specifications for a compositor.
 

Methods in orbital.logic.sign.concrete with parameters of type Notation.NotationSpecification
static boolean Notation.setNotation(java.lang.Object f, Notation.NotationSpecification spec)
          Sets/registers the default notation specification for a compositor.
 

Uses of Notation.NotationSpecification in orbital.moon.logic
 

Methods in orbital.moon.logic with parameters of type Notation.NotationSpecification
 void UniqueSymbol.setNotation(Notation.NotationSpecification notation)
           
 

Constructors in orbital.moon.logic with parameters of type Notation.NotationSpecification
UniqueSymbol(java.lang.String signifierPrefix, Type type, Notation.NotationSpecification notation, boolean variable)
          Create a new unique symbol of (display) signifier starting with signifierPrefix.
UniqueSymbol(Type type, Notation.NotationSpecification notation, boolean variable)
           
 


Orbital library
1.3.0: 11 Apr 2009

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