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

Packages that use SubjectVariable

com.meyling.principia.logic.basic
com.meyling.principia.logic.rule

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

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

Formula	AbstractFormula.replaceBoundSubjectVariable(Enumerator counter, int occurance, SubjectVariable search, SubjectVariable replacement)
Formula	Formula.replaceBoundSubjectVariable(Enumerator counter, int occurrence, SubjectVariable search, SubjectVariable replacement) Replace the occurrence-th occurence of a bound SubjectVariable by another one.
Formula	BasicFormulaPatternVariable.replaceBoundSubjectVariable(Enumerator counter, int occurance, SubjectVariable search, SubjectVariable replacement)

Uses of SubjectVariable in com.meyling.principia.logic.rule

Fields in com.meyling.principia.logic.rule declared as SubjectVariable

private SubjectVariable	Particularization.var quantify with this subject variable
private SubjectVariable	RenameBoundSubjectVariable.find predicate variable which will be replaced
private SubjectVariable	RenameBoundSubjectVariable.replacement formula to replace the predicate variable with
private SubjectVariable	Generalization.var quantify with this subject variable
private SubjectVariable	RenameFreeSubjectVariable.find predicate variable which will be replaced
private SubjectVariable	RenameFreeSubjectVariable.replacement formula to replace the predicate variable with