Uses of Class com.meyling.principia.logic.basic.SubjectVariables (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## 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
`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` | `BasicFormulaPatternVariable.getFreeSubjectVariables()`
`SubjectVariables` | `BasicFormulaPatternVariable.getBoundSubjectVariables()`
`SubjectVariables` | `BasicFormulaPatternVariable.getSubjectVariables()`
`SubjectVariables` | `Quantifier.getFreeSubjectVariables()`
`SubjectVariables` | `Quantifier.getBoundSubjectVariables()`
`SubjectVariables` | `Quantifier.getSubjectVariables()`
`SubjectVariables` | `PropositionVariable.getFreeSubjectVariables()`
`SubjectVariables` | `PropositionVariable.getBoundSubjectVariables()`
`SubjectVariables` | `PropositionVariable.getSubjectVariables()`
`SubjectVariables` | `BasicPredicateVariablePatternVariable.getFreeSubjectVariables()`
`SubjectVariables` | `BasicPredicateVariablePatternVariable.getBoundSubjectVariables()`
`SubjectVariables` | `BasicPredicateVariablePatternVariable.getSubjectVariables()`
`SubjectVariables` | `LogicalOperatorWithTwoFormulas.getFreeSubjectVariables()`
`SubjectVariables` | `LogicalOperatorWithTwoFormulas.getBoundSubjectVariables()`
`SubjectVariables` | `LogicalOperatorWithTwoFormulas.getSubjectVariables()`
`abstract SubjectVariables` | `AbstractFormula.getFreeSubjectVariables()`
`abstract SubjectVariables` | `AbstractFormula.getBoundSubjectVariables()`
`abstract SubjectVariables` | `AbstractFormula.getSubjectVariables()`
`SubjectVariables` | `PredicateVariable.getFreeSubjectVariables()`
`SubjectVariables` | `PredicateVariable.getBoundSubjectVariables()`
`SubjectVariables` | `PredicateVariable.getSubjectVariables()`
`SubjectVariables` | `Negation.getFreeSubjectVariables()`
`SubjectVariables` | `Negation.getBoundSubjectVariables()`
`SubjectVariables` | `Negation.getSubjectVariables()`

Methods in com.meyling.principia.logic.basic with parameters of type SubjectVariables
`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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.