Class SolutionSerializer
java.lang.Object
tools.refinery.language.semantics.SolutionSerializer
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionserializeSolution
(ProblemTrace trace, Model model) serializeSolution
(ProblemTrace trace, Model model, org.eclipse.emf.common.util.URI uri)
-
Constructor Details
-
SolutionSerializer
public SolutionSerializer()
-
-
Method Details
-
serializeSolution
-
serializeSolution
public Problem serializeSolution(ProblemTrace trace, Model model, org.eclipse.emf.common.util.URI uri)
-