|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
This interface tells us about the methods a Formula must have.
Method Summary | |
SubjectVariables |
getBoundSubjectVariables()
Get all bounded subject variables. |
SubjectVariables |
getFreeSubjectVariables()
Get all free subject variables. |
Formula |
getPartFormula(int i)
Get the requested part formula |
int |
getPartFormulaSize()
Get the number of part formulas that this formula contains. |
SubjectVariables |
getSubjectVariables()
Get all subject variables that occur in this formula. |
Formula |
replaceBoundSubjectVariable(Enumerator counter,
int occurrence,
SubjectVariable search,
SubjectVariable replacement)
Replace the occurrence -th occurence of a bound
SubjectVariable by another one. |
Formula |
replaceBoundSubjectVariables(Enumerator counter)
Replace every bound SubjectVariable by a BasicSubjectVariablePatternVariable |
Methods inherited from interface com.meyling.principia.argument.Argument |
containsPatternVariables, copy, create, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches, toString |
Method Detail |
public int getPartFormulaSize()
public Formula getPartFormula(int i) throws IllegalArgumentException
i
- number of part formula (starting with 0
)
i
-th part formula
IllegalArgumentException
- if i
is not inbetween
0
and getPartFormulaSize()
- 1
public SubjectVariables getFreeSubjectVariables()
public SubjectVariables getBoundSubjectVariables()
public SubjectVariables getSubjectVariables()
public Formula replaceBoundSubjectVariable(Enumerator counter, int occurrence, SubjectVariable search, SubjectVariable replacement) throws ArgumentException
occurrence
-th occurence of a bound
SubjectVariable
by another one.
counter
- number of matches so faroccurrence
- number of matches to act onsearch
- subject variable to look forreplacement
- replacement subject variable
ArgumentException
- if creating replacement failedpublic Formula replaceBoundSubjectVariables(Enumerator counter) throws ArgumentException
counter
- contains starting number for
replacement pattern variable, is increased
after one complete replacement
ArgumentException
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |