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
boolean	isPreserveNewNodes()
Problem	serializeSolution(ProblemTrace trace, Model model)
Problem	serializeSolution(ProblemTrace trace, Model model, org.eclipse.emf.common.util.URI uri)
void	setPreserveNewNodes(boolean preserveNewNodes)

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

isPreserveNewNodes

public boolean isPreserveNewNodes()

setPreserveNewNodes

public void setPreserveNewNodes(boolean preserveNewNodes)

serializeSolution

public Problem serializeSolution(ProblemTrace trace,
 Model model)

serializeSolution

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