|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Classes in com.meyling.principia.argument used by com.meyling.principia.argument | |
AbstractArgument
Every Operator must inherit from this class. |
|
AbstractArgumentAtom
Every Atom must inherit from this class. |
|
AbstractDynamicArgumentList
Every Operator with dynamic number of arguments must inherit from this class. |
|
Argument
Every Operator must implement this interface. |
|
ArgumentException
This is a construction (and checking) exception for arguments. |
|
CounterMarker
An object of this class represents something that should count as a number. |
|
Enumerator
An object of this class represents a number, that could be compared and increased. |
|
FoundException
Helps constructing a parent list. |
|
PatternVariable
Pattern variable, for matching purposes. |
|
PatternVariables
Set of pattern variables. |
|
VariableList
Dynamic list of arguments. |
Classes in com.meyling.principia.argument used by com.meyling.principia.io | |
Argument
Every Operator must implement this interface. |
Classes in com.meyling.principia.argument used by com.meyling.principia.latex | |
Argument
Every Operator must implement this interface. |
Classes in com.meyling.principia.argument used by com.meyling.principia.logic.basic | |
AbstractArgument
Every Operator must inherit from this class. |
|
AbstractArgumentList
Every Operator must inherit from this class. |
|
Argument
Every Operator must implement this interface. |
|
ArgumentConstants
This interface provides constants of this package. |
|
ArgumentException
This is a construction (and checking) exception for arguments. |
|
CounterMarker
An object of this class represents something that should count as a number. |
|
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. |
|
VariableList
Dynamic list of arguments. |
Classes in com.meyling.principia.argument used by com.meyling.principia.logic.paragraph | |
AbstractArgument
Every Operator 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. |
|
Argument
Every Operator must implement this interface. |
|
ArgumentConstants
This interface provides constants of this package. |
|
ArgumentException
This is a construction (and checking) exception for arguments. |
Classes in com.meyling.principia.argument used by com.meyling.principia.logic.rule | |
AbstractArgument
Every Operator must inherit from this class. |
|
AbstractArgumentList
Every Operator must inherit from this class. |
|
Argument
Every Operator must implement this interface. |
|
ArgumentConstants
This interface provides constants of this package. |
|
ArgumentException
This is a construction (and checking) exception for arguments. |
Classes in com.meyling.principia.argument used by com.meyling.principia.module | |
AbstractArgument
Every Operator 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. |
|
Argument
Every Operator must implement this interface. |
|
ArgumentConstants
This interface provides constants of this package. |
|
ArgumentException
This is a construction (and checking) exception for arguments. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |