Index

A B C E G H I M O P R S T
All Classes and Interfaces|All Packages|Constant Field Values

A

addAssertions(Solver) - Method in class tools.refinery.store.reasoning.smt.internal.solver.RuleMonitor

afterRestore() - Method in class tools.refinery.store.reasoning.smt.internal.BoundSmtPropagator

apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.smt.SmtPropagator

assertedTerm() - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule

Returns the value of the assertedTerm record component.

B

beforeClose() - Method in class tools.refinery.store.reasoning.smt.internal.BoundSmtPropagator

BoundSmtPropagator - Class in tools.refinery.store.reasoning.smt.internal

BoundSmtPropagator(SmtPropagator, Model, Collection, int, int) - Constructor for class tools.refinery.store.reasoning.smt.internal.BoundSmtPropagator

C

call(Callable) - Method in class tools.refinery.store.reasoning.smt.internal.context.InterruptibleWrapper

callWithInterrupt(Callable) - Method in class tools.refinery.store.reasoning.smt.internal.context.ModelContext

candidatePrecondition() - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule

Returns the value of the candidatePrecondition record component.

changeRef(AnyPartialFunction, Tuple, boolean) - Method in class tools.refinery.store.reasoning.smt.internal.solver.RuleBasedSolver

checkConcretization() - Method in class tools.refinery.store.reasoning.smt.internal.BoundSmtPropagator

checkSatisfiable(Object) - Method in class tools.refinery.store.reasoning.smt.internal.solver.RuleBasedSolver

close() - Method in class tools.refinery.store.reasoning.smt.internal.context.ModelContext

concretizationRequested() - Method in class tools.refinery.store.reasoning.smt.internal.BoundSmtPropagator

concretize(Object) - Method in class tools.refinery.store.reasoning.smt.internal.solver.RuleBasedSolver

concretizeOne() - Method in class tools.refinery.store.reasoning.smt.internal.BoundSmtPropagator

createSolver(Concreteness) - Method in class tools.refinery.store.reasoning.smt.internal.context.ModelContext

E

equals(Object) - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule.Influence

Indicates whether some other object is "equal to" this one.

G

getConcreteness() - Method in class tools.refinery.store.reasoning.smt.internal.solver.RuleBasedSolver

getContext() - Method in class tools.refinery.store.reasoning.smt.internal.solver.RuleBasedSolver

getExpr(PreparedSmtRule, Tuple) - Method in class tools.refinery.store.reasoning.smt.internal.context.ModelContext

getPartialInterpretation(Concreteness, PartialSymbol) - Method in class tools.refinery.store.reasoning.smt.internal.context.ModelContext

getQuery(Concreteness) - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule

getRefiner(PartialSymbol) - Method in class tools.refinery.store.reasoning.smt.internal.context.ModelContext

getResultSet(Query) - Method in class tools.refinery.store.reasoning.smt.internal.context.ModelContext

getVariable(AnyPartialFunction, Tuple) - Method in class tools.refinery.store.reasoning.smt.internal.context.ModelContext

getZ3Context() - Method in class tools.refinery.store.reasoning.smt.internal.context.ModelContext

H

hashCode() - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule.Influence

Returns a hash code value for this object.

I

Influence(AnyPartialFunction, Tuple) - Constructor for record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule.Influence

Creates an instance of a Influence record class.

influences() - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule

Returns the value of the influences record component.

InterruptibleWrapper - Class in tools.refinery.store.reasoning.smt.internal.context

InterruptibleWrapper(CancellationToken, Context) - Constructor for class tools.refinery.store.reasoning.smt.internal.context.InterruptibleWrapper

isChanged() - Method in class tools.refinery.store.reasoning.smt.internal.solver.RuleBasedSolver

isSupported(Term) - Method in class tools.refinery.store.reasoning.smt.expr.SmtExprChecker

M

markChanged() - Method in class tools.refinery.store.reasoning.smt.internal.solver.RuleBasedSolver

ModelContext - Class in tools.refinery.store.reasoning.smt.internal.context

ModelContext(Model, Collection, int, int) - Constructor for class tools.refinery.store.reasoning.smt.internal.context.ModelContext

O

of(TheoryRule) - Static method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule

P

parameterIndices() - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule.Influence

Returns the value of the parameterIndices record component.

parameterMap() - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule

Returns the value of the parameterMap record component.

partialFunction() - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule.Influence

Returns the value of the partialFunction record component.

partialPrecondition() - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule

Returns the value of the partialPrecondition record component.

PreparedSmtRule - Record Class in tools.refinery.store.reasoning.smt.internal

PreparedSmtRule(RelationalQuery, RelationalQuery, Term, ObjectIntMap, List) - Constructor for record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule

Creates an instance of a PreparedSmtRule record class.

PreparedSmtRule.Influence - Record Class in tools.refinery.store.reasoning.smt.internal

propagateOne() - Method in class tools.refinery.store.reasoning.smt.internal.BoundSmtPropagator

put(Tuple, Boolean, Boolean) - Method in class tools.refinery.store.reasoning.smt.internal.solver.RuleMonitor

R

REJECTION_NO_MODEL - Static variable in class tools.refinery.store.reasoning.smt.internal.solver.RuleBasedSolver

REJECTION_UNKNOWN - Static variable in class tools.refinery.store.reasoning.smt.internal.solver.RuleBasedSolver

REJECTION_UNSAT - Static variable in class tools.refinery.store.reasoning.smt.internal.solver.RuleBasedSolver

rlimit(int) - Method in class tools.refinery.store.reasoning.smt.SmtPropagator

rule(RelationalQuery, Term) - Method in class tools.refinery.store.reasoning.smt.SmtPropagator

rule(TheoryRule) - Method in class tools.refinery.store.reasoning.smt.SmtPropagator

RuleBasedSolver - Class in tools.refinery.store.reasoning.smt.internal.solver

RuleBasedSolver(ModelContext, Concreteness, List, Solver) - Constructor for class tools.refinery.store.reasoning.smt.internal.solver.RuleBasedSolver

RuleMonitor - Class in tools.refinery.store.reasoning.smt.internal.solver

RuleMonitor(RuleBasedSolver, PreparedSmtRule) - Constructor for class tools.refinery.store.reasoning.smt.internal.solver.RuleMonitor

rules(Collection) - Method in class tools.refinery.store.reasoning.smt.SmtPropagator

rules(TheoryRule...) - Method in class tools.refinery.store.reasoning.smt.SmtPropagator

S

shutdown() - Method in class tools.refinery.store.reasoning.smt.internal.context.InterruptibleWrapper

SmtExprChecker - Class in tools.refinery.store.reasoning.smt.expr

SmtExprChecker() - Constructor for class tools.refinery.store.reasoning.smt.expr.SmtExprChecker

SmtPropagator - Class in tools.refinery.store.reasoning.smt

SmtPropagator() - Constructor for class tools.refinery.store.reasoning.smt.SmtPropagator

start() - Method in class tools.refinery.store.reasoning.smt.internal.solver.RuleMonitor

T

TermToExpr - Class in tools.refinery.store.reasoning.smt.expr

TermToExpr(ModelContext) - Constructor for class tools.refinery.store.reasoning.smt.expr.TermToExpr

timeout(int) - Method in class tools.refinery.store.reasoning.smt.SmtPropagator

toExpr(ConstantTerm) - Method in class tools.refinery.store.reasoning.smt.expr.TermToExpr

toExpr(Term, Tuple, ObjectIntMap) - Method in class tools.refinery.store.reasoning.smt.expr.TermToExpr

toExpr(PartialFunctionCallTerm, Tuple, ObjectIntMap) - Method in class tools.refinery.store.reasoning.smt.expr.TermToExpr

tools.refinery.store.reasoning.smt - package tools.refinery.store.reasoning.smt

tools.refinery.store.reasoning.smt.expr - package tools.refinery.store.reasoning.smt.expr

tools.refinery.store.reasoning.smt.internal - package tools.refinery.store.reasoning.smt.internal

tools.refinery.store.reasoning.smt.internal.context - package tools.refinery.store.reasoning.smt.internal.context

tools.refinery.store.reasoning.smt.internal.solver - package tools.refinery.store.reasoning.smt.internal.solver

toString() - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule.Influence

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.store.reasoning.smt.internal.PreparedSmtRule

Returns a string representation of this record class.

A B C E G H I M O P R S T
All Classes and Interfaces|All Packages|Constant Field Values