org.coode.oppl.utils

Class EvaluationResults

java.lang.Object

org.coode.oppl.utils.EvaluationResults

public class EvaluationResults
extends Object

Utility class for collecting the evaluation results and dumping them into a String

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
EvaluationResults(OPPLScript opplScript, List<org.semanticweb.owlapi.model.OWLAxiomChange> changes)

Method Summary

Modifier and Type	Method and Description
List<org.semanticweb.owlapi.model.OWLAxiomChange>	getChanges()
OPPLScript	getOpplScript()
protected ManchesterSyntaxRenderer	render(ConstraintSystem cs, Assignment assignment)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

EvaluationResults

public EvaluationResults(OPPLScript opplScript,
                         List<org.semanticweb.owlapi.model.OWLAxiomChange> changes)

Parameters:

opplScript - opplScript

changes - changes

Method Detail

getOpplScript

public OPPLScript getOpplScript()

Returns:

the opplScript

getChanges

public List<org.semanticweb.owlapi.model.OWLAxiomChange> getChanges()

Returns:

the changes

toString

public String toString()

Overrides:

toString in class Object

render

protected ManchesterSyntaxRenderer render(ConstraintSystem cs,
                                          Assignment assignment)