public class ProblemTypeInformation extends Object
Modifier and Type | Field and Description |
---|---|
(package private) Map<String,SMTSort> |
constantsTypes |
(package private) Map<String,SMTSort> |
fieldTypes |
(package private) Set<Sort> |
javaSorts |
(package private) Map<String,Sort> |
originalConstantType |
(package private) Services |
services |
private SMTSettings |
settings |
private Map<SMTSort,SMTTermNumber> |
sortNumbers |
private Map<String,SMTSort> |
sorts |
Constructor and Description |
---|
ProblemTypeInformation(TermServices services) |
Modifier and Type | Method and Description |
---|---|
Set<String> |
getFieldsForSort(Sort s)
Return a list of field names for the specified sort.
|
Set<String> |
getFieldsForSort(String name) |
Set<Sort> |
getJavaSorts() |
Sort |
getOriginalConstantType(String c) |
String |
getPrefixForSort(SMTSort sort) |
TermServices |
getServices() |
SMTSettings |
getSettings() |
SMTSort |
getSort(String sortName) |
SMTSort |
getTypeForConstant(Object key) |
SMTSort |
getTypeForField(Object key) |
SMTSort |
putConstantType(String key,
SMTSort value) |
SMTSort |
putFieldType(String key,
SMTSort value) |
void |
putOriginalConstantType(String c,
Sort s) |
void |
setJavaSorts(Set<Sort> javaSorts) |
void |
setServices(Services services) |
void |
setSettings(SMTSettings settings) |
void |
setSortNumbers(Map<SMTSort,SMTTermNumber> sortNumbers) |
void |
setSorts(Map<String,SMTSort> sorts) |
Services services
private SMTSettings settings
private Map<SMTSort,SMTTermNumber> sortNumbers
public ProblemTypeInformation(TermServices services)
public SMTSort getTypeForConstant(Object key)
key
- Map.get(java.lang.Object)
public SMTSort putConstantType(String key, SMTSort value)
key
- value
- Map.put(java.lang.Object, java.lang.Object)
public SMTSort getTypeForField(Object key)
key
- Map.get(java.lang.Object)
public SMTSort putFieldType(String key, SMTSort value)
key
- value
- Map.put(java.lang.Object, java.lang.Object)
public Set<String> getFieldsForSort(Sort s)
s
- public TermServices getServices()
public void setServices(Services services)
public void setSettings(SMTSettings settings)
public void setSortNumbers(Map<SMTSort,SMTTermNumber> sortNumbers)
public SMTSettings getSettings()