Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Package
com.meyling.principia.argument

Packages that use com.meyling.principia.argument
com.meyling.principia.argument   
com.meyling.principia.io   
com.meyling.principia.latex   
com.meyling.principia.logic.basic   
com.meyling.principia.logic.paragraph   
com.meyling.principia.logic.rule   
com.meyling.principia.module   
 

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

©left GNU General Public Licence
All Rights Reserved.