org.sosy_lab.java_smt.basicimpl

Class AbstractModel.CachingAbstractModel<TFormulaInfo,TType,TEnv>

java.lang.Object

org.sosy_lab.java_smt.basicimpl.AbstractModel<TFormulaInfo,TType,TEnv>

org.sosy_lab.java_smt.basicimpl.AbstractModel.CachingAbstractModel<TFormulaInfo,TType,TEnv>

All Implemented Interfaces:

AutoCloseable, Iterable<Model.ValueAssignment>, Model

Enclosing class:

AbstractModel<TFormulaInfo,TType,TEnv>

public abstract static class AbstractModel.CachingAbstractModel<TFormulaInfo,TType,TEnv>
extends AbstractModel<TFormulaInfo,TType,TEnv>

Nested Class Summary

Nested classes/interfaces inherited from class org.sosy_lab.java_smt.basicimpl.AbstractModel

AbstractModel.CachingAbstractModel<TFormulaInfo,TType,TEnv>

Nested classes/interfaces inherited from interface org.sosy_lab.java_smt.api.Model

Model.ValueAssignment

Field Summary

Fields inherited from class org.sosy_lab.java_smt.basicimpl.AbstractModel

creator

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CachingAbstractModel(FormulaCreator<TFormulaInfo,TType,TEnv,?> pCreator)

Method Summary

Modifier and Type	Method and Description
ImmutableList<Model.ValueAssignment>	asList() Build a list of assignments that stays valid after closing the model.
protected abstract ImmutableList<Model.ValueAssignment>	toList() Build a list of all available assignments from the model.

Methods inherited from class org.sosy_lab.java_smt.basicimpl.AbstractModel

eval, evalImpl, evaluate, evaluate, evaluate, evaluate, evaluate, evaluateImpl, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.sosy_lab.java_smt.api.Model

close, iterator

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

CachingAbstractModel

protected CachingAbstractModel(FormulaCreator<TFormulaInfo,TType,TEnv,?> pCreator)

Method Detail

asList

public ImmutableList<Model.ValueAssignment> asList()

Description copied from interface: Model

Build a list of assignments that stays valid after closing the model.

toList

protected abstract ImmutableList<Model.ValueAssignment> toList()

Build a list of all available assignments from the model.