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