Uses of Class
com.meyling.principia.logic.basic.SubjectVariables

Packages that use SubjectVariables

com.meyling.principia.logic.basic

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

Methods in com.meyling.principia.logic.basic that return SubjectVariables

abstract SubjectVariables	AbstractFormula.getFreeSubjectVariables()
abstract SubjectVariables	AbstractFormula.getBoundSubjectVariables()
abstract SubjectVariables	AbstractFormula.getSubjectVariables()
SubjectVariables	LogicalOperatorWithTwoFormulas.getFreeSubjectVariables()
SubjectVariables	LogicalOperatorWithTwoFormulas.getBoundSubjectVariables()
SubjectVariables	LogicalOperatorWithTwoFormulas.getSubjectVariables()
SubjectVariables	PropositionVariable.getFreeSubjectVariables()
SubjectVariables	PropositionVariable.getBoundSubjectVariables()
SubjectVariables	PropositionVariable.getSubjectVariables()
SubjectVariables	Quantifier.getFreeSubjectVariables()
SubjectVariables	Quantifier.getBoundSubjectVariables()
SubjectVariables	Quantifier.getSubjectVariables()
SubjectVariables	Formula.getFreeSubjectVariables() Get all free subject variables.
SubjectVariables	Formula.getBoundSubjectVariables() Get all bounded subject variables.
SubjectVariables	Formula.getSubjectVariables() Get all subject variables that occur in this formula.
SubjectVariables	PredicateVariable.getFreeSubjectVariables()
SubjectVariables	PredicateVariable.getBoundSubjectVariables()
SubjectVariables	PredicateVariable.getSubjectVariables()
SubjectVariables	Negation.getFreeSubjectVariables()
SubjectVariables	Negation.getBoundSubjectVariables()
SubjectVariables	Negation.getSubjectVariables()
SubjectVariables	BasicFormulaPatternVariable.getFreeSubjectVariables()
SubjectVariables	BasicFormulaPatternVariable.getBoundSubjectVariables()
SubjectVariables	BasicFormulaPatternVariable.getSubjectVariables()

Methods in com.meyling.principia.logic.basic with parameters of type SubjectVariables

private static Argument	AbstractFormula.createPattern(Argument argument, SubjectVariables freeVariables) Replace the every occurence of a SubjectVariable by a BasicSubjectVariablePatternVariable, every PropositionVariable by a BasicFormulaPatternVariable and every PredicateVariable by a BasicPredicateVariablePatternVariable.
boolean	SubjectVariables.emptyIntersection(SubjectVariables variables) Does this object have an empty intersection with another set of subject variables and pattern variables?
boolean	SubjectVariables.contains(SubjectVariables variables) Does this object contain another set of subject variables and pattern variables?
void	SubjectVariables.addAll(SubjectVariables newOnes) Add all these subject variables.
boolean	SubjectVariables.equals(SubjectVariables variables) Is this object equal to another one?

Constructors in com.meyling.principia.logic.basic with parameters of type SubjectVariables

SubjectVariables(SubjectVariables already)
Construct a new set of subject variables with the same entires as the given one.