BasicSubjectVariablePatternVariable (PMII - Principia Mathematica II)
Keywords: com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable 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 BasicSubjectVariablePatternVariable

    java.lang.Object
      com.meyling.principia.argument.AbstractArgument
          com.meyling.principia.argument.PatternVariable
              com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable

All Implemented Interfaces:
  Argument, Comparable, CounterMarker, SubjectVariableMarker

public class BasicSubjectVariablePatternVariable
extends PatternVariable
implements SubjectVariableMarker

Pattern variable, for matching purposes.

Version:
  $Revision: 1.7 $
Author:
  Michael Meyling

Constructor Summary
`BasicSubjectVariablePatternVariable(Argument[] arguments)` Constructs a pattern variable.
`BasicSubjectVariablePatternVariable(int number)` Constructs a pattern variable.

Method Summary
`Argument` | `create(Argument[] arguments)` Create a new Argument with given arguments.
`PatternVariables` | `getPatternVariables()` Get all pattern variables that occur in this argument.
`boolean` | `isMatching(Argument argument)` Is the argument matching the pattern variable?
`String` | `toString()` Get the argument in `String` form.

Methods inherited from class com.meyling.principia.argument.PatternVariable
`compareTo, containsPatternVariables, copy, getArgument, getArgumentSize, getContent, getNumber, setContent`

Methods inherited from class com.meyling.principia.argument.AbstractArgument
`equals, getHighestNumber, 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.logic.basic.SubjectVariableMarker
`getNumber`

Methods inherited from interface com.meyling.principia.argument.Argument
`containsPatternVariables, copy, equals, getArgument, getArgumentSize, getReplacementParents, getSearchParents, hashCode, matches, matches, replace, replace, replace, replaceMatches`

Constructor Detail

### BasicSubjectVariablePatternVariable

    public BasicSubjectVariablePatternVariable(Argument[] arguments)
                                        throws ArgumentException

  Constructs a pattern variable.

Parameters:
  `arguments` - first argument is number of this pattern variable
Throws:
  `ArgumentException` - if there is not exactly one argument that is an instance of `Counter`

### BasicSubjectVariablePatternVariable

    public BasicSubjectVariablePatternVariable(int number)
                                        throws ArgumentException

  Constructs a pattern variable.

Parameters:
  `number` - of this pattern variable
Throws:
  `ArgumentException` - if there couldn't be made a `Counter` out of `number`

Method Detail

### getPatternVariables

    public final PatternVariables getPatternVariables()

  Description copied from interface: `Argument`
  Get all pattern variables that occur in this argument.

  Specified by:
    `getPatternVariables` in interface `Argument`
  Overrides:
    `getPatternVariables` in class `AbstractArgument`

### isMatching

    public boolean isMatching(Argument argument)

  Is the argument matching the pattern variable? Here true is returned if argument is an SubjectVariable.

  Overrides:
    `isMatching` in class `PatternVariable`
  Parameters:
    `argument` - argument to match pattern variable
  Returns:
    `true`

### 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 `PatternVariable`
  Throws:
    `ArgumentException`

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

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.