PredicateVariable (PMII - Principia Mathematica II)
Keywords: com.meyling.principia.logic.basic.PredicateVariable class

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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.6 $
Author:
  Michael Meyling

Constructor Summary
`PredicateVariable(Argument[] arguments)` Constructs a predicate variable with an argument list.

Method Summary
`Argument` | `create(Argument[] arguments)` Create a new Argument with given arguments.
`SubjectVariableMarker[]` | `getArgument()` Get the argument.
`SubjectVariables` | `getBoundSubjectVariables()` Get all bounded subject variables.
`SubjectVariables` | `getFreeSubjectVariables()` Get all free subject variables.
`int` | `getNumber()` Get the identity number of predicate variable.
`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.
`String` | `toString()` Get the argument in `String` form.

Methods inherited from class com.meyling.principia.logic.basic.AbstractFormula
`createPattern, replaceBoundSubjectVariable, replaceBoundSubjectVariables`

Methods inherited from class com.meyling.principia.argument.AbstractArgumentList
`copy, getArgument, getArgumentSize`

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, equals, getArgument, getArgumentSize, getPatternVariables, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches`

Methods inherited from interface com.meyling.principia.logic.basic.Formula
`replaceBoundSubjectVariable, replaceBoundSubjectVariables`

Constructor Detail

### 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`

Method Detail

### 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`
  Specified by:
    `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`
  Specified by:
    `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`
  Specified by:
    `getFreeSubjectVariables` in class `AbstractFormula`

### getBoundSubjectVariables

    public final SubjectVariables getBoundSubjectVariables()

  Description copied from interface: `Formula`
  Get all bounded subject variables.

  Specified by:
    `getBoundSubjectVariables` in interface `Formula`
  Specified by:
    `getBoundSubjectVariables` in class `AbstractFormula`

### 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`
  Specified by:
    `getSubjectVariables` in class `AbstractFormula`

### 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`
  Specified by:
    `create` in class `AbstractArgumentList`
  Throws:
    `ArgumentException`

### toString

    public final String toString()

  Description copied from interface: `Argument`
  Get the argument in `String` form.

  Specified by:
    `toString` in interface `Argument`
  Specified by:
    `toString` in class `AbstractArgumentList`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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.