Uses of Interface com.meyling.principia.argument.CounterMarker (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## 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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.