Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Interface
com.meyling.principia.logic.basic.SubjectVariableMarker

Packages that use SubjectVariableMarker
com.meyling.principia.logic.basic   
 

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

Classes in com.meyling.principia.logic.basic that implement SubjectVariableMarker
 class BasicSubjectVariablePatternVariable
          Pattern variable, for matching purposes.
 class SubjectVariable
          Subject variable, represents a subject of the universe of discourse.
 

Methods in com.meyling.principia.logic.basic that return SubjectVariableMarker
 SubjectVariableMarker Quantifier.getVariable()
          Get the subject variable of this quantifier.
 SubjectVariableMarker[] PredicateVariable.getArgument()
          Get the argument.
 

Methods in com.meyling.principia.logic.basic with parameters of type SubjectVariableMarker
 void SubjectVariables.add(SubjectVariableMarker variable)
          Add a subject variable to the set.
 boolean SubjectVariables.contains(SubjectVariableMarker variable)
          Check if a certain subject variable is already in the set.
 void SubjectVariables.remove(SubjectVariableMarker variable)
          Remove a subject variable or a pattern variable from the set.
 

Constructors in com.meyling.principia.logic.basic with parameters of type SubjectVariableMarker
SubjectVariables(SubjectVariableMarker[] already)
          Construct a new set of subject variables with some initial entries.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.