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.