|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PatternVariables | |
com.meyling.principia.argument | |
com.meyling.principia.logic.basic |
Uses of PatternVariables in com.meyling.principia.argument |
Methods in com.meyling.principia.argument that return PatternVariables | |
PatternVariables |
Argument.getPatternVariables()
Get all pattern variables that occur in this argument. |
PatternVariables |
AbstractArgument.getPatternVariables()
|
Methods in com.meyling.principia.argument with parameters of type PatternVariables | |
boolean |
PatternVariables.contains(PatternVariables variables)
Are these PatternVariable s in the set? |
boolean |
PatternVariables.emptyIntersection(PatternVariables variables)
Are all of these PatternVariable s not in the set? |
boolean |
PatternVariables.equals(PatternVariables variables)
Is this object equal to another one? |
void |
PatternVariables.addAll(PatternVariables newOnes)
Add all these PatternVariable s to the set? |
Argument |
Argument.replace(PatternVariables variables)
Replace every pattern variable that occurs in variables with its content. |
boolean |
Argument.matches(Argument pattern,
PatternVariables variables)
Does this argument match the pattern ?
|
Argument |
AbstractArgument.replace(PatternVariables variables)
|
boolean |
AbstractArgument.matches(Argument pattern,
PatternVariables variables)
|
Constructors in com.meyling.principia.argument with parameters of type PatternVariables | |
PatternVariables(PatternVariables var)
Copy constructor, constructs a new object with the data of another object. |
Uses of PatternVariables in com.meyling.principia.logic.basic |
Subclasses of PatternVariables in com.meyling.principia.logic.basic | |
class |
BasicPatternVariables
Set of pattern variables. |
Methods in com.meyling.principia.logic.basic that return PatternVariables | |
PatternVariables |
BasicFormulaPatternVariable.getPatternVariables()
|
PatternVariables |
BasicPredicateVariablePatternVariable.getPatternVariables()
|
PatternVariables |
BasicSubjectVariablePatternVariable.getPatternVariables()
|
Constructors in com.meyling.principia.logic.basic with parameters of type PatternVariables | |
BasicPatternVariables(PatternVariables var)
Construct an set of pattern variables by an PatternVariables object. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |