Package tools.refinery.language.semantics

Class SolutionSerializer

java.lang.Object

tools.refinery.language.semantics.SolutionSerializer

public class SolutionSerializer
extends Object

Constructor Summary

Constructors

Constructor	Description
SolutionSerializer()

Method Summary

Modifier and Type	Method	Description
Problem	serializeSolution(ProblemTrace trace, Model model)
Problem	serializeSolution(ProblemTrace trace, Model model, org.eclipse.emf.common.util.URI uri)

Methods inherited from class java.lang.Object

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

Constructor Details

SolutionSerializer

public SolutionSerializer()

Method Details

serializeSolution

public Problem serializeSolution(ProblemTrace trace,
 Model model)

serializeSolution

public Problem serializeSolution(ProblemTrace trace,
 Model model,
 org.eclipse.emf.common.util.URI uri)