Constant Field Values

Contents

• tools.refinery.*

tools.refinery.*

tools.refinery.generator.RefineryDiagnostics

Modifier and Type	Constant Field	Value
public static final String	CONCRETIZATION_ERROR	"tools.refinery.generator.GeneratorDiagnostics.CONCRETIZATION_ERROR"
public static final String	PROPAGATION_ERROR	"tools.refinery.generator.GeneratorDiagnostics.PROPAGATION_ERROR"
public static final String	TRANSLATION_ERROR	"tools.refinery.generator.GeneratorDiagnostics.TRANSLATION_ERROR"

tools.refinery.generator.UnsatisfiableProblemException

Modifier and Type	Constant Field	Value
public static final String	DEFAULT_MESSAGE	"Model generation problem is unsatisfiable"