Hilbert II - JAVA-Packages - Principia Mathematica II

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.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.