|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PatternVariable | |
com.meyling.principia.argument | |
com.meyling.principia.logic.basic |
Uses of PatternVariable in com.meyling.principia.argument |
Methods in com.meyling.principia.argument that return PatternVariable | |
PatternVariable |
PatternVariables.get(PatternVariable variable)
Get PatternVariable object from the set. |
Methods in com.meyling.principia.argument with parameters of type PatternVariable | |
void |
PatternVariables.add(PatternVariable variable)
Add an PatternVariable if not already there. |
PatternVariable |
PatternVariables.get(PatternVariable variable)
Get PatternVariable object from the set. |
boolean |
PatternVariables.contains(PatternVariable variable)
Is variable in the set? |
void |
PatternVariables.remove(PatternVariable variable)
Remove pattern variable with same number from the set. |
Uses of PatternVariable in com.meyling.principia.logic.basic |
Subclasses of PatternVariable in com.meyling.principia.logic.basic | |
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 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |