|
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
com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas
LogicalOperatorWithTwoFormulas of formulas.
Constructor Summary | |
LogicalOperatorWithTwoFormulas(Argument[] arguments)
Constructs a new formula out of two given ones. |
|
LogicalOperatorWithTwoFormulas(Formula formula1,
Formula formula2)
Constructs a new formula out of two given ones. |
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. |
Methods inherited from class com.meyling.principia.logic.basic.AbstractFormula |
createPattern, replaceBoundSubjectVariable, replaceBoundSubjectVariables |
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 |
Methods inherited from interface com.meyling.principia.logic.basic.Formula |
replaceBoundSubjectVariable, replaceBoundSubjectVariables |
Constructor Detail |
public LogicalOperatorWithTwoFormulas(Argument[] arguments) throws ArgumentException
arguments
- must contain two formulas
ArgumentException
- if same subject variable exists
bound and unbound, or argument dosn't
consist of two formulaspublic LogicalOperatorWithTwoFormulas(Formula formula1, Formula formula2) throws ArgumentException
formula1
- first formulaformula2
- second formula
ArgumentException
- if same subject variable exists
bound and unboundMethod Detail |
public final int getPartFormulaSize()
Formula
getPartFormulaSize
in interface Formula
getPartFormulaSize
in class AbstractFormula
public final Formula getPartFormula(int i)
Formula
getPartFormula
in interface Formula
getPartFormula
in class AbstractFormula
public final SubjectVariables getFreeSubjectVariables()
Formula
getFreeSubjectVariables
in interface Formula
getFreeSubjectVariables
in class AbstractFormula
public final SubjectVariables getBoundSubjectVariables()
Formula
getBoundSubjectVariables
in interface Formula
getBoundSubjectVariables
in class AbstractFormula
public SubjectVariables getSubjectVariables()
Formula
getSubjectVariables
in interface Formula
getSubjectVariables
in class AbstractFormula
|
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. |