iw.model
Interface IWInferenceStepOccur

All Superinterfaces:

IWInferenceStep

public interface IWInferenceStepOccur

extends IWInferenceStep

Models specific occurrence of inference steps. This seperation between the inference step and its occurrence in a proof is made so that different occurrences of inference steps in the same proof can be seperately controlled.

Method Summary

void	addAntecedentNodeSetOccurrence(IWNodeSetOccur newAntecedentNode) Adds the IWNodeSetOccur instance to the list of antecedents of the inference step occurrence
void	deleteAntecedentNodeSetOccurrence(long antId) Deletes the nodeset occurrence corresponding to the id antId from the list of antecedent node set occurrence of the current inference step occurrence.
IWNodeSetOccur	getAntecedentNodeSetOccurrence(java.lang.String inAntecedent) Returns the IWNodeSetOccur instance corresponding to the antecedent with the URI inAntecedent
java.util.List	getAntecedentNodeSetOccurrences() Returns a list of nodeset occurrence of the antecedents of the current inference step occurrence
IWNodeSetOccur	getConsequence() PROBLEM
void	removeAntecedentNodeSetOccurrence(long antId) Removes (without deleting) the nodeset occurrence corresponding to the id antId from the list of antecedent node set occurrence of the current inference step occurrence.
void	setAntecedentNodeSetOccurrences(java.util.List newAntecedentNodes) Sets the list of nodeset occurrence of the antecedents of the current inference step occurrence
void	setAntecedentNodeSetOccurrenceVisible(java.lang.String inAntecedent, boolean visible) Sets the visibility of the antecedent with the URI inAntecedent to the boolean the value specified by visible
void	setAntecedentsNodeId(long[] currentId) PROBLEM
void	setConsequence(IWNodeSetOccur _consequence) PROBLEM

Methods inherited from interface iw.model.IWInferenceStep

addAntecedent, addAntecedentNode, addDischarge, addMetaBinding, addQuery, addSourceUsage, addVariableMapping, getAnswer, getAntecedentNodes, getAntecedents, getDischarges, getIndex, getInferenceEngine, getInferenceRule, getMetaBindings, getQueries, getShortName, getSourceUsages, getVariableMappings, setAnswer, setAntecedentNodes, setAntecedents, setDischarges, setIndex, setInferenceEngine, setInferenceRule, setMetaBindings, setQueries, setShortName, setSourceUsages, setVariableMappings

Method Detail

getConsequence

public IWNodeSetOccur getConsequence()

PROBLEM

setConsequence

public void setConsequence(IWNodeSetOccur _consequence)

PROBLEM

setAntecedentsNodeId

public void setAntecedentsNodeId(long[] currentId)

PROBLEM

getAntecedentNodeSetOccurrences

public java.util.List getAntecedentNodeSetOccurrences()

Returns a list of nodeset occurrence of the antecedents of the current inference step occurrence

Returns:

a list of nodeset occurrence of the antecedents of the current inference step occurrence

setAntecedentNodeSetOccurrences

public void setAntecedentNodeSetOccurrences(java.util.List newAntecedentNodes)

Sets the list of nodeset occurrence of the antecedents of the current inference step occurrence

Parameters:

newAntecedentNodes - the new list of nodeset occurrence of the antecedents of the current inference step occurrence

getAntecedentNodeSetOccurrence

public IWNodeSetOccur getAntecedentNodeSetOccurrence(java.lang.String inAntecedent)

Returns the IWNodeSetOccur instance corresponding to the antecedent with the URI inAntecedent

Returns:

the IWNodeSetOccur instance corresponding to the antecedent with the URI inAntecedent

setAntecedentNodeSetOccurrenceVisible

public void setAntecedentNodeSetOccurrenceVisible(java.lang.String inAntecedent,
                                                  boolean visible)

Sets the visibility of the antecedent with the URI inAntecedent to the boolean the value specified by visible

Parameters:

inAntecedent - the URI of the antecedent whose visibility is to be changed

visible - the new visibility flag for the nodeset occurrences

addAntecedentNodeSetOccurrence

public void addAntecedentNodeSetOccurrence(IWNodeSetOccur newAntecedentNode)

Adds the IWNodeSetOccur instance to the list of antecedents of the inference step occurrence

Parameters:

newAntecedentNode - an IWNodeset instance of the new antecedent of the inference step occurrence

deleteAntecedentNodeSetOccurrence

public void deleteAntecedentNodeSetOccurrence(long antId)

Deletes the nodeset occurrence corresponding to the id antId from the list of antecedent node set occurrence of the current inference step occurrence.

Parameters:

antId - the id of the node set occurrence to be deleted

removeAntecedentNodeSetOccurrence

public void removeAntecedentNodeSetOccurrence(long antId)

Removes (without deleting) the nodeset occurrence corresponding to the id antId from the list of antecedent node set occurrence of the current inference step occurrence.

Parameters:

antId - the id of the node set occurrence to be removed