Package tools.refinery.store.reasoning.smt

Class SmtPropagator

java.lang.Object

tools.refinery.store.reasoning.smt.SmtPropagator

public class SmtPropagator
extends Object

Constructor Summary

Constructors

Constructor	Description
SmtPropagator()

Method Summary

Modifier and Type	Method	Description
void	propagate()

Methods inherited from class java.lang.Object

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

Constructor Details

SmtPropagator

public SmtPropagator()

Method Details

propagate

public void propagate()