Package 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	Description
protected	CachingAbstractModel(FormulaCreator<TFormulaInfo,TType,TEnv,?> pCreator)

Method Summary

Modifier and Type	Method	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, evaluate, evaluateImpl, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

close, iterator

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.