Class SmtPropagator

java.lang.Object

tools.refinery.store.reasoning.smt.SmtPropagator

All Implemented Interfaces:

ModelStoreConfiguration

public class SmtPropagator
extends Object
implements ModelStoreConfiguration

Constructor Summary

Constructors

Constructor	Description
SmtPropagator()

Method Summary

Modifier and Type	Method	Description
void	apply(ModelStoreBuilder storeBuilder)
SmtPropagator	rlimit(int rlimit)
SmtPropagator	rule(RelationalQuery precondition, Term<TruthValue> assertedTerm)
SmtPropagator	rule(TheoryRule rule)
SmtPropagator	rules(Collection<TheoryRule> rules)
SmtPropagator	rules(TheoryRule... rules)
SmtPropagator	timeout(int timeout)

Methods inherited from class Object

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

Constructor Details

SmtPropagator

public SmtPropagator()

Method Details

rule

public SmtPropagator rule(RelationalQuery precondition,
 Term<TruthValue> assertedTerm)

rule

public SmtPropagator rule(TheoryRule rule)

rules

public SmtPropagator rules(TheoryRule... rules)

rules

public SmtPropagator rules(Collection<TheoryRule> rules)

timeout

public SmtPropagator timeout(int timeout)

rlimit

public SmtPropagator rlimit(int rlimit)

apply

public void apply(ModelStoreBuilder storeBuilder)

Specified by:

apply in interface ModelStoreConfiguration