iw.model
Interface IWProofElement

All Superinterfaces:

IWModelElement

All Known Subinterfaces:

DBNodeSet, DBQuestion, IWNodeSet, IWNodeSetOccur, IWQuery, IWQuestion, OWLNodeSet, OWLQuery, OWLQuestion

public interface IWProofElement

extends IWModelElement

Parent class of proof level PML concepts like NodeSets, queries etc

Method Summary

java.lang.String	getShortName() Returns the short name of the proof element
void	setShortName(java.lang.String newShortName) Sets the short name of the proof element

Methods inherited from interface iw.model.IWModelElement

getFirstSubmissionDate, getLastSubmissionDate, getModel, getURI, setFirstSubmissionDate, setLastSubmissionDate, setModel, setURI

Method Detail

getShortName

public java.lang.String getShortName()

Returns the short name of the proof element

Returns:

the short name of the proof element

setShortName

public void setShortName(java.lang.String newShortName)

Sets the short name of the proof element

Parameters:

newShortName - the new short name of the proof element