com.meyling.principia.logic.basic
Class PredicateVariable
java.lang.Object
|
+--com.meyling.principia.argument.AbstractArgument
|
+--com.meyling.principia.argument.AbstractArgumentList
|
+--com.meyling.principia.logic.basic.AbstractFormula
|
+--com.meyling.principia.logic.basic.PredicateVariable
- All Implemented Interfaces:
- Argument, Formula
- public class PredicateVariable
- extends AbstractFormula
- implements Argument, Formula
Predicate variable with argument list.
- Version:
- $Revision: 1.3 $
- Author:
- Michael Meyling
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 interface com.meyling.principia.argument.Argument |
containsPatternVariables, copy, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches |
PredicateVariable
public PredicateVariable(Argument[] arguments)
throws ArgumentException
- Constructs a predicate variable with an argument list.
- Parameters:
arguments
- identity number of predicate variable
and a list of arguments that are all an instance
of SubjectVariableMarker
- Throws:
ArgumentException
- if there are not
exactly two arguments or the first argument is no
instance of CounterMarker
or
the second argument is no instance of
RegularArgumentList
or
the entries of the second argument are
no instances of SubjectVariableMarker
getNumber
public int getNumber()
- Get the identity number of predicate variable.
- Returns:
- identity number
getArgument
public final SubjectVariableMarker[] getArgument()
- Get the argument.
- Returns:
- argument
getPartFormulaSize
public final int getPartFormulaSize()
- Description copied from interface:
Formula
- Get the number of part formulas that this formula contains.
- Specified by:
getPartFormulaSize
in interface Formula
- Overrides:
getPartFormulaSize
in class AbstractFormula
- Returns:
- always 0
getPartFormula
public final Formula getPartFormula(int i)
- Description copied from interface:
Formula
- Get the requested part formula
- Specified by:
getPartFormula
in interface Formula
- Overrides:
getPartFormula
in class AbstractFormula
- Returns:
- will never occur
- Throws:
IllegalArgumentException
- always
getFreeSubjectVariables
public final SubjectVariables getFreeSubjectVariables()
- Description copied from interface:
Formula
- Get all free subject variables.
- Specified by:
getFreeSubjectVariables
in interface Formula
- Overrides:
getFreeSubjectVariables
in class AbstractFormula
- Following copied from interface:
com.meyling.principia.logic.basic.Formula
- Returns:
- all free subject variables
getBoundSubjectVariables
public final SubjectVariables getBoundSubjectVariables()
- Description copied from interface:
Formula
- Get all bounded subject variables.
- Specified by:
getBoundSubjectVariables
in interface Formula
- Overrides:
getBoundSubjectVariables
in class AbstractFormula
- Following copied from interface:
com.meyling.principia.logic.basic.Formula
- Returns:
- all bounded subject variables
getSubjectVariables
public final SubjectVariables getSubjectVariables()
- Description copied from interface:
Formula
- Get all subject variables that occur in this formula.
- Specified by:
getSubjectVariables
in interface Formula
- Overrides:
getSubjectVariables
in class AbstractFormula
- Following copied from interface:
com.meyling.principia.logic.basic.Formula
- Returns:
- all subject variables
create
public final Argument create(Argument[] arguments)
throws ArgumentException
- Description copied from interface:
Argument
- Create a new Argument with given arguments.
- Specified by:
create
in interface Argument
- Overrides:
create
in class AbstractArgumentList
- Following copied from interface:
com.meyling.principia.argument.Argument
- Parameters:
arguments
- with these arguments the operator should
be created- Returns:
- new constructed Argument
- Throws:
ArgumentException
- if creation failed
toString
public final String toString()
- Description copied from interface:
Argument
- Get the argument in
String
form.
- Specified by:
toString
in interface Argument
- Overrides:
toString
in class AbstractArgumentList
- Following copied from interface:
com.meyling.principia.argument.Argument
- Returns:
- readable formula