Class BoundSmtPropagator

java.lang.Object

tools.refinery.store.reasoning.smt.internal.BoundSmtPropagator

All Implemented Interfaces:

BoundPropagator, ModelListener

public class BoundSmtPropagator
extends Object
implements BoundPropagator, ModelListener

Constructor Summary

Constructors

Constructor	Description
BoundSmtPropagator(SmtPropagator propagator, Model model, Collection<PreparedSmtRule> rules, int timeout, int rlimit)

Method Summary

Modifier and Type	Method	Description
void	afterRestore()
void	beforeClose()
PropagationResult	checkConcretization()
boolean	concretizationRequested()
PropagationResult	concretizeOne()
PropagationResult	propagateOne()

Methods inherited from class Object

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

Methods inherited from interface BoundPropagator

propagateOne

Methods inherited from interface ModelListener

afterCommit, beforeCommit, beforeRestore

Constructor Details

BoundSmtPropagator

public BoundSmtPropagator(SmtPropagator propagator,
 Model model,
 Collection<PreparedSmtRule> rules,
 int timeout,
 int rlimit)

Method Details

propagateOne

public PropagationResult propagateOne()

Specified by:

propagateOne in interface BoundPropagator

concretizationRequested

public boolean concretizationRequested()

Specified by:

concretizationRequested in interface BoundPropagator

concretizeOne

public PropagationResult concretizeOne()

Specified by:

concretizeOne in interface BoundPropagator

checkConcretization

public PropagationResult checkConcretization()

Specified by:

checkConcretization in interface BoundPropagator

afterRestore

public void afterRestore()

Specified by:

afterRestore in interface ModelListener

beforeClose

public void beforeClose()

Specified by:

beforeClose in interface ModelListener