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.