org.sosy_lab.solver

Class Model

java.lang.Object

com.google.common.collect.ForwardingObject

com.google.common.collect.ForwardingMap<AssignableTerm,Object>

org.sosy_lab.solver.Model

All Implemented Interfaces:

Map<AssignableTerm,Object>, Appender

public class Model
extends ForwardingMap<AssignableTerm,Object>
implements Appender

This class represents a model returned from an SMT solver: assignments from terms to their values.

Nested Class Summary

Nested classes/interfaces inherited from class com.google.common.collect.ForwardingMap

ForwardingMap.StandardEntrySet, ForwardingMap.StandardKeySet, ForwardingMap.StandardValues

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K,V>

Constructor Summary

Constructors

Constructor and Description
Model(Map<AssignableTerm,Object> pData)

Method Summary

Modifier and Type	Method and Description
static void	appendModel(Appendable output, Map<AssignableTerm,Object> data)
void	appendTo(Appendable output)
protected Map<AssignableTerm,Object>	delegate()
static Model	empty()
ImmutableMap<AssignableTerm,Object>	getData()
String	toString()

Methods inherited from class com.google.common.collect.ForwardingMap

clear, containsKey, containsValue, entrySet, equals, get, hashCode, isEmpty, keySet, put, putAll, remove, size, standardClear, standardContainsKey, standardContainsValue, standardEquals, standardHashCode, standardIsEmpty, standardPutAll, standardRemove, standardToString, values

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

compute, computeIfAbsent, computeIfPresent, forEach, getOrDefault, merge, putIfAbsent, remove, replace, replace, replaceAll

Constructor Detail

Model

public Model(Map<AssignableTerm,Object> pData)

Method Detail

getData

public ImmutableMap<AssignableTerm,Object> getData()

empty

public static Model empty()

delegate

protected Map<AssignableTerm,Object> delegate()

Overrides:

delegate in class ForwardingMap<AssignableTerm,Object>

appendModel

public static void appendModel(Appendable output,
                               Map<AssignableTerm,Object> data)
                        throws IOException

Throws:

IOException

appendTo

public void appendTo(Appendable output)
              throws IOException

Specified by:

appendTo in interface Appender

Throws:

IOException

toString

public String toString()

Overrides:

toString in class ForwardingObject