Hilbert II - JAVA-Packages - Principia Mathematica II

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

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.