ConForM.CoopnTools.CoKer.CoopnMgr
Interface CoopnSymbolCollectionConstants

All Known Implementing Classes:
SymbolCollection

public interface CoopnSymbolCollectionConstants

Constants in collection of coopn symbols.

See Also:
CoopnElement

Field Summary
static int ADTAXIOM
           
static int ADTTHEOREM
           
static int CLASSAXIOM
           
static int CLASSCREATION
           
static int CLASSDESTRUCTION
           
static int CLASSGATE
           
static int CLASSMETHOD
           
static int CLASSTHEOREM
           
static int CONTEXTAXIOM
           
static int CONTEXTGATE
           
static int CONTEXTMETHOD
           
static int CONTEXTTHEOREM
           
static int GENERATOR
           
static int INITIAL
           
static int METATERM
           
static int OBJECT
           
static int OPERATION
           
static int PLACE
           
static int SORT
           
static int SUBSORT
           
static int SUBTYPE
           
static int SYMBOLKINDNUMBER
           
static int TRANSITION
           
static int TYPE
           
static int USE
           
static int USECONTEXT
           
static int VARIABLE
           
 

Field Detail

USE

public static final int USE

USECONTEXT

public static final int USECONTEXT

SORT

public static final int SORT

TYPE

public static final int TYPE

SUBSORT

public static final int SUBSORT

SUBTYPE

public static final int SUBTYPE

GENERATOR

public static final int GENERATOR

OPERATION

public static final int OPERATION

OBJECT

public static final int OBJECT

CLASSGATE

public static final int CLASSGATE

CLASSMETHOD

public static final int CLASSMETHOD

CLASSCREATION

public static final int CLASSCREATION

CLASSDESTRUCTION

public static final int CLASSDESTRUCTION

CONTEXTGATE

public static final int CONTEXTGATE

CONTEXTMETHOD

public static final int CONTEXTMETHOD

TRANSITION

public static final int TRANSITION

PLACE

public static final int PLACE

VARIABLE

public static final int VARIABLE

INITIAL

public static final int INITIAL

ADTAXIOM

public static final int ADTAXIOM

CLASSAXIOM

public static final int CLASSAXIOM

CONTEXTAXIOM

public static final int CONTEXTAXIOM

ADTTHEOREM

public static final int ADTTHEOREM

CLASSTHEOREM

public static final int CLASSTHEOREM

CONTEXTTHEOREM

public static final int CONTEXTTHEOREM

METATERM

public static final int METATERM

SYMBOLKINDNUMBER

public static final int SYMBOLKINDNUMBER