|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.meyling.principia.argument.AbstractArgument
com.meyling.principia.argument.AbstractArgumentList
com.meyling.principia.logic.basic.AbstractFormula
From this abstract implementation of Formula each non abstract Formula must inherit from.
Constructor Summary | |
AbstractFormula(Argument[] arguments)
Constructs an formula. |
Method Summary | |
static Formula |
createPattern(Formula formula)
Replace the every occurence of a SubjectVariable by a
BasicSubjectVariablePatternVariable ,
every PropositionVariable by a
BasicFormulaPatternVariable
and TODO not yet:
every PredicateVariable by a
BasicPredicateVariablePatternVariable . |
abstract SubjectVariables |
getBoundSubjectVariables()
Get all bounded subject variables. |
abstract SubjectVariables |
getFreeSubjectVariables()
Get all free subject variables. |
abstract Formula |
getPartFormula(int i)
Get the requested part formula |
abstract int |
getPartFormulaSize()
Get the number of part formulas that this formula contains. |
abstract SubjectVariables |
getSubjectVariables()
Get all subject variables that occur in this formula. |
Formula |
replaceBoundSubjectVariable(Enumerator counter,
int occurance,
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 class com.meyling.principia.argument.AbstractArgumentList |
copy, create, getArgument, getArgumentSize, toString |
Methods inherited from class com.meyling.principia.argument.AbstractArgument |
containsPatternVariables, equals, getHighestNumber, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
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 |
Constructor Detail |
public AbstractFormula(Argument[] arguments)
arguments
- the arguments to make a list of
IllegalArgumentException
- if the argument was a
nullpointerMethod Detail |
public static final Formula createPattern(Formula formula) throws IllegalArgumentException
SubjectVariable
by a
BasicSubjectVariablePatternVariable
,
every PropositionVariable
by a
BasicFormulaPatternVariable
and TODO not yet:
every PredicateVariable
by a
BasicPredicateVariablePatternVariable
.
formula
- replace in this formula
IllegalArgumentException
- if creating replacement failedpublic abstract int getPartFormulaSize()
Formula
getPartFormulaSize
in interface Formula
public abstract Formula getPartFormula(int i) throws IllegalArgumentException
Formula
getPartFormula
in interface Formula
i
- number of part formula (starting with 0
)
i
-th part formula
IllegalArgumentException
- if i
is not inbetween
0
and Formula.getPartFormulaSize()
- 1
public abstract SubjectVariables getFreeSubjectVariables()
Formula
getFreeSubjectVariables
in interface Formula
public abstract SubjectVariables getBoundSubjectVariables()
Formula
getBoundSubjectVariables
in interface Formula
public abstract SubjectVariables getSubjectVariables()
Formula
getSubjectVariables
in interface Formula
public final Formula replaceBoundSubjectVariable(Enumerator counter, int occurance, SubjectVariable search, SubjectVariable replacement) throws ArgumentException
Formula
occurrence
-th occurence of a bound
SubjectVariable
by another one.
replaceBoundSubjectVariable
in interface Formula
counter
- number of matches so faroccurance
- number of matches to act onsearch
- subject variable to look forreplacement
- replacement subject variable
ArgumentException
- if creating replacement failedpublic final Formula replaceBoundSubjectVariables(Enumerator counter) throws ArgumentException
Formula
replaceBoundSubjectVariables
in interface Formula
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. |