|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
Argument | Every Operator must implement this interface. |
ArgumentConstants | This interface provides constants of this package. |
CounterMarker | An object of this class represents something that should count as a number. |
Class Summary | |
AbstractArgument | Every Operator must inherit from this class. |
AbstractArgumentAtom | Every Atom must inherit from this class. |
AbstractArgumentList | Every Operator must inherit from this class. |
AbstractDynamicArgumentList | Every Operator with dynamic number of arguments must inherit from this class. |
ArgumentCreator | This class provides static methods for reading and
writing an Argument . |
Counter | An object of this class represents a non negative integer. |
Enumerator | An object of this class represents a number, that could be compared and increased. |
PatternVariable | Pattern variable, for matching purposes. |
PatternVariables | Set of pattern variables. |
Text | An object of this class represents a text string. |
VariableList | Dynamic list of arguments. |
Exception Summary | |
ArgumentException | This is a construction (and checking) exception for arguments. |
FoundException | Helps constructing a parent list. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |