public class ModelExtractor
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
ARRAYFIELDS |
static int |
DEFAULT |
static int |
FINISHED |
static int |
SEQ |
static int |
TYPES |
static int |
WORKING |
Constructor and Description |
---|
ModelExtractor() |
Modifier and Type | Method and Description |
---|---|
void |
addFunction(SMTFunction f) |
java.util.List<java.lang.String> |
getAllIDs(int size) |
int |
getIntBound() |
Model |
getModel() |
int |
getState() |
ProblemTypeInformation |
getTypes() |
boolean |
isWorking() |
void |
messageIncoming(Pipe pipe,
java.lang.String message) |
void |
setIntBound(int intBound) |
void |
setTypes(ProblemTypeInformation types) |
void |
start(Pipe pipe) |
public static final int DEFAULT
public static final int TYPES
public static final int WORKING
public static final int ARRAYFIELDS
public static final int FINISHED
public static final int SEQ
public void addFunction(SMTFunction f)
public Model getModel()
public int getIntBound()
public void setIntBound(int intBound)
public java.util.List<java.lang.String> getAllIDs(int size)
public ProblemTypeInformation getTypes()
public void setTypes(ProblemTypeInformation types)
public int getState()
public void messageIncoming(Pipe pipe, java.lang.String message) throws java.io.IOException
java.io.IOException
public void start(Pipe pipe) throws java.io.IOException
java.io.IOException
public boolean isWorking()
Copyright © 2003-2019 The KeY-Project.