Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia.module
Interface Labeled

All Superinterfaces:
Argument
All Known Implementing Classes:
LinkLabel

public interface Labeled
extends Argument

Every labeled thing must implement this interface.

Version:
$Revision: 1.4 $
Author:
Michael Meyling

Method Summary
 String getLabel()
          Get label 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

getLabel

public String getLabel()
Get label of object.

Returns:
label of object

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.