Hilbert II - JAVA-Packages - Principia Mathematica II

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.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.