Uses of Class
com.meyling.principia.argument.PatternVariables

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	AbstractArgument.getPatternVariables()
PatternVariables	Argument.getPatternVariables() Get all pattern variables that occur in this argument.

Methods in com.meyling.principia.argument with parameters of type PatternVariables

boolean	PatternVariables.contains(PatternVariables variables) Are these PatternVariables in the set?
boolean	PatternVariables.emptyIntersection(PatternVariables variables) Are all of these PatternVariables not in the set?
boolean	PatternVariables.equals(PatternVariables variables) Is this object equal to another one?
void	PatternVariables.addAll(PatternVariables newOnes) Add all these PatternVariables to the set?
Argument	AbstractArgument.replace(PatternVariables variables)
boolean	AbstractArgument.matches(Argument pattern, PatternVariables variables)
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?

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	BasicSubjectVariablePatternVariable.getPatternVariables()
PatternVariables	BasicPredicateVariablePatternVariable.getPatternVariables()
PatternVariables	BasicFormulaPatternVariable.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.