org.evosuite.symbolic.solver

Class SolverResult

java.lang.Object

org.evosuite.symbolic.solver.SolverResult

public class SolverResult
extends Object

Method Summary

Modifier and Type	Method and Description
boolean	containsVariable(String var_name)
Map<String,Object>	getModel()
Object	getValue(String var_name)
boolean	isSAT()
boolean	isUNSAT()
static SolverResult	newSAT(Map<String,Object> values)
static SolverResult	newUNSAT()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

newUNSAT

public static SolverResult newUNSAT()

newSAT

public static SolverResult newSAT(Map<String,Object> values)

isSAT

public boolean isSAT()

containsVariable

public boolean containsVariable(String var_name)

getValue

public Object getValue(String var_name)

getModel

public Map<String,Object> getModel()

isUNSAT

public boolean isUNSAT()

toString

public String toString()

Overrides:

toString in class Object