SubjectVariableMarker (PMII - Principia Mathematica II)
Keywords: com.meyling.principia.logic.basic.SubjectVariableMarker interface

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
Interface SubjectVariableMarker

All Superinterfaces:
  Argument

All Known Implementing Classes:
  BasicSubjectVariablePatternVariable, SubjectVariable

public interface SubjectVariableMarker
extends Argument

Implementions of this marker interface are threated as subject variables.

Version:
  $Revision: 1.5 $
Author:
  Michael Meyling

Method Summary
`int` | `getNumber()` Get number of object.

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`

Method Detail

### getNumber

    public int getNumber()

  Get number of object.

  Returns:
    number, this value is >= 0

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.