Uses of Interface
com.meyling.principia.argument.CounterMarker

Packages that use CounterMarker

com.meyling.principia.argument
com.meyling.principia.logic.basic

Uses of CounterMarker in com.meyling.principia.argument

Classes in com.meyling.principia.argument that implement CounterMarker

class	Counter An object of this class represents a non negative integer.
class	PatternVariable Pattern variable, for matching purposes.

Uses of CounterMarker in com.meyling.principia.logic.basic

Classes in com.meyling.principia.logic.basic that implement CounterMarker

class	BasicFormulaPatternVariable Pattern variable, for matching purposes.
class	BasicPatternVariable Pattern variable, for matching purposes.
class	BasicPredicateVariablePatternVariable Pattern variable, for matching purposes.
class	BasicSubjectVariablePatternVariable Pattern variable, for matching purposes.

Fields in com.meyling.principia.logic.basic declared as CounterMarker

private CounterMarker	PropositionVariable.number number of proposition variable
private CounterMarker	PredicateVariable.number predicate variable identity number
private CounterMarker	SubjectVariable.number the number of the subject variable