iw.model
Interface IWNodeSet

All Superinterfaces:

IWModelElement, IWProofElement

All Known Subinterfaces:

DBNodeSet, IWNodeSetOccur, OWLNodeSet

public interface IWNodeSet

extends IWProofElement

Interface IWNodeSet is the PML API specification of the functionality of PML Nodesets. A PML Nodeset represents a step in a proof whose conclusion is justified by any of a set of inference steps associated with the Nodeset. PML adopts the term "node set" since each Nodeset can be viewed as a set of nodes gathered from one or more proof trees having the same conclusion.

Method Summary

void	addConclusionFiller(IWConclusionFiller newConclusionFiller)
void	addInferenceStep(IWInferenceStep newInferenceStep) Adds the inference step provided to the list of inference steps for the nodeset.
java.lang.String	getConclusion() Returns the conclusion of Nodeset as a String expressed in the language of the Nodeset.
java.util.List	getConclusionFillers()
java.util.List	getInferenceSteps() Returns a list consisting of the inference steps of the Nodeset.
java.lang.String	getLanguage() Returns a String containing the URI of the language of the Nodeset.
java.lang.String	getProof() GUESS Returns the URI of the proof of which the Nodeset is a part of.
boolean	isAxiom() Returns true if and only if the Nodeset is an axiom.
boolean	isFullLoaded() PROBLEM
void	setConclusion(java.lang.String newConclusion) Sets the conclusion of the Nodeset to newConclusion.
void	setConclusionFillers(java.util.List newConclusionFillers)
void	setInferenceSteps(java.util.List _newInferenceSteps) Sets the list of inference steps in a Nodeset to the list provided.
void	setLanguage(java.lang.String newLanguage) Sets the language URI of the nodeset to the specified string.
void	setProof(java.lang.String _newProof) GUESS Sets the proof URI of the Nodeset to the specified string.

Methods inherited from interface iw.model.IWProofElement

getShortName, setShortName

Methods inherited from interface iw.model.IWModelElement

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

Method Detail

isAxiom

public boolean isAxiom()

Returns true if and only if the Nodeset is an axiom. A Nodeset is an axiom if an only if either it has no inference steps or all inference steps have empty antecedent lists.

Returns:

true if and only if the Nodeset is an axiom.

isFullLoaded

public boolean isFullLoaded()

PROBLEM

getConclusion

public java.lang.String getConclusion()

Returns the conclusion of Nodeset as a String expressed in the language of the Nodeset. The conclusion of the nodeset represents the expression concluded by the proof step. Every Nodeset has exactly one conclusion.

Returns:

the conclusion of the Nodeset

setConclusion

public void setConclusion(java.lang.String newConclusion)

Sets the conclusion of the Nodeset to newConclusion. The conclusion of the nodeset represents the expression concluded by the proof step. Every Nodeset has exactly one conclusion

Parameters:

newConclusion - the new conclusion of the nodeset

getLanguage

public java.lang.String getLanguage()

Returns a String containing the URI of the language of the Nodeset. The language of a Nodeset is the language in which the conclusion of the Nodeset is expressed.

Returns:

The URI of the language of the Nodeset

setLanguage

public void setLanguage(java.lang.String newLanguage)

Sets the language URI of the nodeset to the specified string. The language of a Nodeset is the language in which the conclusion of the Nodeset is expressed.

Parameters:

newLanguage - the URI of the new language of the Nodeset

getInferenceSteps

public java.util.List getInferenceSteps()

Returns a list consisting of the inference steps of the Nodeset. Each element of the list is an object of type IWInferenceStep. Each inference step of a nodeset represents the application of an inference rule that justifies the conclusion of the nodeset.

Returns:

setInferenceSteps

public void setInferenceSteps(java.util.List _newInferenceSteps)

Sets the list of inference steps in a Nodeset to the list provided. Each element of the new list is expected to be of type IWInferenceStep.

Parameters:

_newInferenceSteps - the new list of inference steps for the Nodeset

addInferenceStep

public void addInferenceStep(IWInferenceStep newInferenceStep)

Adds the inference step provided to the list of inference steps for the nodeset. The inference step is expected to represent an application of an inference rule that justifies the conclusion of the Nodeset.

Parameters:

newInferenceStep - the new inference step to be added to the list

getProof

public java.lang.String getProof()

GUESS Returns the URI of the proof of which the Nodeset is a part of. Answers are generated in response to queries and these answers are assigned URIs. Nodesets are proof steps in the proofs for these answers. This method returns the URI of the larger proof

Returns:

the URI of the proof of which the Nodeset is a part of

setProof

public void setProof(java.lang.String _newProof)

GUESS Sets the proof URI of the Nodeset to the specified string. Answers are generated in response to queries and these answers are assigned URIs. Nodesets are proof steps in the proofs for these answers. This method is used to set the proof URI of the Nodeset

Parameters:

_newProof - the URI of the new proof

getConclusionFillers

public java.util.List getConclusionFillers()

setConclusionFillers

public void setConclusionFillers(java.util.List newConclusionFillers)

addConclusionFiller

public void addConclusionFiller(IWConclusionFiller newConclusionFiller)