com.meyling.principia.argument (PMII - Principia Mathematica II)
Keywords: com.meyling.principia.argument package

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package com.meyling.principia.argument

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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.