Hilbert II - JAVA-Packages - Principia Mathematica II

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.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.