Index

A B C D E F G H I L M N O P Q R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values

A

AbstractActionLiteral - Class in tools.refinery.store.dse.transition.actions

AbstractActionLiteral() - Constructor for class tools.refinery.store.dse.transition.actions.AbstractActionLiteral

AbstractEquivalenceClassStore - Class in tools.refinery.store.dse.transition.statespace.internal

accept(Collection<Criterion>) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder

accept(Criterion) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder

accept(Criterion) - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationBuilderImpl

accept(Criterion...) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder

accept(RuleBuilder) - Method in interface tools.refinery.store.dse.transition.callback.RuleCallback0

accept(RuleBuilder, NodeVariable) - Method in interface tools.refinery.store.dse.transition.callback.RuleCallback1

accept(RuleBuilder, NodeVariable, NodeVariable) - Method in interface tools.refinery.store.dse.transition.callback.RuleCallback2

accept(RuleBuilder, NodeVariable, NodeVariable, NodeVariable) - Method in interface tools.refinery.store.dse.transition.callback.RuleCallback3

accept(RuleBuilder, NodeVariable, NodeVariable, NodeVariable, NodeVariable) - Method in interface tools.refinery.store.dse.transition.callback.RuleCallback4

accepted() - Method in record class tools.refinery.store.dse.strategy.SubmitResult

Returns the value of the accepted record component.

accepts - Variable in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl

action(List<? extends ActionLiteral>) - Method in class tools.refinery.store.dse.transition.RuleBuilder

action(Action) - Method in class tools.refinery.store.dse.transition.RuleBuilder

action(ActionLiteral...) - Method in class tools.refinery.store.dse.transition.RuleBuilder

action(ActionCallback0) - Method in class tools.refinery.store.dse.transition.RuleBuilder

action(ActionCallback1) - Method in class tools.refinery.store.dse.transition.RuleBuilder

action(ActionCallback2) - Method in class tools.refinery.store.dse.transition.RuleBuilder

action(ActionCallback3) - Method in class tools.refinery.store.dse.transition.RuleBuilder

action(ActionCallback4) - Method in class tools.refinery.store.dse.transition.RuleBuilder

Action - Class in tools.refinery.store.dse.transition.actions

Action(List<NodeVariable>, List<? extends ActionLiteral>) - Constructor for class tools.refinery.store.dse.transition.actions.Action

ActionCallback0 - Interface in tools.refinery.store.dse.transition.callback

ActionCallback1 - Interface in tools.refinery.store.dse.transition.callback

ActionCallback2 - Interface in tools.refinery.store.dse.transition.callback

ActionCallback3 - Interface in tools.refinery.store.dse.transition.callback

ActionCallback4 - Interface in tools.refinery.store.dse.transition.callback

ActionLiteral - Interface in tools.refinery.store.dse.transition.actions

ActionLiterals - Class in tools.refinery.store.dse.transition.actions

activation() - Method in record class tools.refinery.store.dse.transition.statespace.ActivationStore.VisitResult

Returns the value of the activation record component.

ActivationStore - Interface in tools.refinery.store.dse.transition.statespace

ActivationStore.VisitResult - Record Class in tools.refinery.store.dse.transition.statespace

ActivationStoreBitVectorEntry - Class in tools.refinery.store.dse.transition.statespace.internal

ActivationStoreEntry - Class in tools.refinery.store.dse.transition.statespace.internal

ActivationStoreImpl - Class in tools.refinery.store.dse.transition.statespace.internal

ActivationStoreImpl(int, Consumer<VersionWithObjectiveValue>) - Constructor for class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreImpl

ActivationStoreListEntry - Class in tools.refinery.store.dse.transition.statespace.internal

ActivationStoreWorker - Class in tools.refinery.store.dse.transition.statespace.internal

ActivationStoreWorker(ActivationStore, List<Transformation>) - Constructor for class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreWorker

add(Symbol<Boolean>, NodeVariable...) - Static method in class tools.refinery.store.dse.transition.actions.ActionLiterals

and(Collection<? extends Criterion>) - Static method in class tools.refinery.store.dse.transition.objectives.Criteria

and(Criterion...) - Static method in class tools.refinery.store.dse.transition.objectives.Criteria

AndCriterion - Class in tools.refinery.store.dse.transition.objectives

andThen(PropagationResult) - Method in record class tools.refinery.store.dse.propagation.PropagationRejectedResult

andThen(PropagationResult) - Method in interface tools.refinery.store.dse.propagation.PropagationResult

andThen(PropagationResult) - Method in enum class tools.refinery.store.dse.propagation.PropagationSuccessResult

B

BestFirstExplorer - Class in tools.refinery.store.dse.strategy

BestFirstExplorer(BestFirstStoreManager, Model, long) - Constructor for class tools.refinery.store.dse.strategy.BestFirstExplorer

BestFirstStoreManager - Class in tools.refinery.store.dse.strategy

BestFirstStoreManager(ModelStore, int) - Constructor for class tools.refinery.store.dse.strategy.BestFirstStoreManager

BestFirstWorker - Class in tools.refinery.store.dse.strategy

BestFirstWorker(BestFirstStoreManager, Model) - Constructor for class tools.refinery.store.dse.strategy.BestFirstWorker

BestFirstWorker.RandomVisitResult - Record Class in tools.refinery.store.dse.strategy

bindToModel(Model) - Method in class tools.refinery.store.dse.modification.actions.CreateActionLiteral

bindToModel(Model) - Method in class tools.refinery.store.dse.modification.actions.DeleteActionLiteral

bindToModel(Model) - Method in class tools.refinery.store.dse.propagation.impl.rule.RuleBasedPropagator

bindToModel(Model) - Method in interface tools.refinery.store.dse.propagation.Propagator

bindToModel(Model) - Method in class tools.refinery.store.dse.transition.actions.Action

bindToModel(Model) - Method in interface tools.refinery.store.dse.transition.actions.ActionLiteral

bindToModel(Model) - Method in class tools.refinery.store.dse.transition.actions.ConstantActionLiteral

bindToModel(Model) - Method in class tools.refinery.store.dse.transition.actions.PutActionLiteral

BoundAction - Class in tools.refinery.store.dse.transition.actions

BoundActionLiteral - Interface in tools.refinery.store.dse.transition.actions

BoundPropagator - Interface in tools.refinery.store.dse.propagation

BoundRuleBasedPropagator - Class in tools.refinery.store.dse.propagation.impl.rule

BoundRuleBasedPropagator(Model, List<Rule>) - Constructor for class tools.refinery.store.dse.propagation.impl.rule.BoundRuleBasedPropagator

build() - Method in class tools.refinery.store.dse.transition.RuleBuilder

build(ModelStore) - Method in interface tools.refinery.store.dse.propagation.PropagationBuilder

builder() - Static method in interface tools.refinery.store.dse.modification.ModificationAdapter

builder() - Static method in interface tools.refinery.store.dse.propagation.PropagationAdapter

builder() - Static method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter

builder() - Static method in class tools.refinery.store.dse.transition.Rule

builder(String) - Static method in class tools.refinery.store.dse.transition.Rule

C

c1 - Static variable in class tools.refinery.store.dse.transition.statespace.internal.ObjectivePriorityQueueImpl

calculateEmptyActivationSize() - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreWorker

checkAccept() - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter

checkAccept() - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationAdapterImpl

checkExclude() - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter

checkExclude() - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationAdapterImpl

compare(VersionWithObjectiveValue, VersionWithObjectiveValue) - Method in class tools.refinery.store.dse.strategy.BestFirstWorker

CompleteEquivalenceClassStore - Class in tools.refinery.store.dse.transition.statespace.internal

CompleteEquivalenceClassStore(StateCoderStoreAdapter) - Constructor for class tools.refinery.store.dse.transition.statespace.internal.CompleteEquivalenceClassStore

CompositeCriterion - Class in tools.refinery.store.dse.transition.objectives

CompositeCriterion(Collection<? extends Criterion>) - Constructor for class tools.refinery.store.dse.transition.objectives.CompositeCriterion

CompositeObjective - Class in tools.refinery.store.dse.transition.objectives

configure(ModelStoreBuilder) - Method in class tools.refinery.store.dse.propagation.impl.rule.RuleBasedPropagator

configure(ModelStoreBuilder) - Method in interface tools.refinery.store.dse.propagation.Propagator

configure(ModelStoreBuilder) - Method in class tools.refinery.store.dse.transition.objectives.CompositeCriterion

configure(ModelStoreBuilder) - Method in class tools.refinery.store.dse.transition.objectives.CompositeObjective

configure(ModelStoreBuilder) - Method in class tools.refinery.store.dse.transition.objectives.CountObjective

configure(ModelStoreBuilder) - Method in interface tools.refinery.store.dse.transition.objectives.Criterion

configure(ModelStoreBuilder) - Method in interface tools.refinery.store.dse.transition.objectives.Objective

configure(ModelStoreBuilder) - Method in class tools.refinery.store.dse.transition.objectives.QueryCriterion

configure(ModelStoreBuilder) - Method in class tools.refinery.store.dse.transition.objectives.QueryObjective

constant(NodeVariable, int) - Static method in class tools.refinery.store.dse.transition.actions.ActionLiterals

ConstantActionLiteral - Class in tools.refinery.store.dse.transition.actions

ConstantActionLiteral(NodeVariable, int) - Constructor for class tools.refinery.store.dse.transition.actions.ConstantActionLiteral

count(RelationalQuery) - Static method in class tools.refinery.store.dse.transition.objectives.Objectives

count(RelationalQuery, double) - Static method in class tools.refinery.store.dse.transition.objectives.Objectives

CountObjective - Class in tools.refinery.store.dse.transition.objectives

CountObjective(RelationalQuery) - Constructor for class tools.refinery.store.dse.transition.objectives.CountObjective

CountObjective(RelationalQuery, double) - Constructor for class tools.refinery.store.dse.transition.objectives.CountObjective

create(int) - Static method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreEntry

create(NodeVariable) - Static method in class tools.refinery.store.dse.modification.actions.ModificationActionLiterals

createAction(Model) - Method in class tools.refinery.store.dse.transition.Rule

CreateActionLiteral - Class in tools.refinery.store.dse.modification.actions

CreateActionLiteral(NodeVariable) - Constructor for class tools.refinery.store.dse.modification.actions.CreateActionLiteral

createCalculator(Model) - Method in class tools.refinery.store.dse.transition.objectives.AndCriterion

createCalculator(Model) - Method in class tools.refinery.store.dse.transition.objectives.CompositeObjective

createCalculator(Model) - Method in class tools.refinery.store.dse.transition.objectives.CountObjective

createCalculator(Model) - Method in interface tools.refinery.store.dse.transition.objectives.Criterion

createCalculator(Model) - Method in interface tools.refinery.store.dse.transition.objectives.Objective

createCalculator(Model) - Method in class tools.refinery.store.dse.transition.objectives.OrCriterion

createCalculator(Model) - Method in class tools.refinery.store.dse.transition.objectives.QueryCriterion

createCalculator(Model) - Method in class tools.refinery.store.dse.transition.objectives.QueryObjective

createModelAdapter(Model) - Method in class tools.refinery.store.dse.modification.internal.ModificationStoreAdapterImpl

createModelAdapter(Model) - Method in interface tools.refinery.store.dse.propagation.PropagationStoreAdapter

createModelAdapter(Model) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationStoreAdapter

createModelAdapter(Model) - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl

createObject() - Method in class tools.refinery.store.dse.modification.internal.ModificationAdapterImpl

createObject() - Method in interface tools.refinery.store.dse.modification.ModificationAdapter

Criteria - Class in tools.refinery.store.dse.transition.objectives

Criterion - Interface in tools.refinery.store.dse.transition.objectives

CriterionCalculator - Interface in tools.refinery.store.dse.transition.objectives

D

DanglingEdges - Enum Class in tools.refinery.store.dse.modification

delegate(VersionWithObjectiveValue, int[], boolean) - Method in class tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore

delete(NodeVariable, DanglingEdges) - Static method in class tools.refinery.store.dse.modification.actions.ModificationActionLiterals

DELETE - Enum constant in enum class tools.refinery.store.dse.modification.DanglingEdges

DeleteActionLiteral - Class in tools.refinery.store.dse.modification.actions

DeleteActionLiteral(NodeVariable, DanglingEdges) - Constructor for class tools.refinery.store.dse.modification.actions.DeleteActionLiteral

deleteObject(Tuple, DanglingEdges) - Method in class tools.refinery.store.dse.modification.internal.ModificationAdapterImpl

deleteObject(Tuple, DanglingEdges) - Method in interface tools.refinery.store.dse.modification.ModificationAdapter

DesignSpaceExplorationAdapter - Interface in tools.refinery.store.dse.transition

DesignSpaceExplorationAdapterImpl - Class in tools.refinery.store.dse.transition.internal

DesignSpaceExplorationAdapterImpl(Model, DesignSpaceExplorationStoreAdapter, List<Transformation>, List<CriterionCalculator>, List<CriterionCalculator>, List<ObjectiveCalculator>) - Constructor for class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationAdapterImpl

DesignSpaceExplorationBuilder - Interface in tools.refinery.store.dse.transition

DesignSpaceExplorationBuilderImpl - Class in tools.refinery.store.dse.transition.internal

DesignSpaceExplorationBuilderImpl() - Constructor for class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationBuilderImpl

DesignSpaceExplorationStoreAdapter - Interface in tools.refinery.store.dse.transition

DesignSpaceExplorationStoreAdapterImpl - Class in tools.refinery.store.dse.transition.internal

DesignSpaceExplorationStoreAdapterImpl(ModelStore, List<Rule>, List<Criterion>, List<Criterion>, List<Objective>) - Constructor for class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl

doBuild(ModelStore) - Method in class tools.refinery.store.dse.modification.internal.ModificationBuilderImpl

doBuild(ModelStore) - Method in class tools.refinery.store.dse.propagation.impl.PropagationBuilderImpl

doBuild(ModelStore) - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationBuilderImpl

doConfigure(ModelStoreBuilder) - Method in class tools.refinery.store.dse.modification.internal.ModificationBuilderImpl

doConfigure(ModelStoreBuilder) - Method in class tools.refinery.store.dse.propagation.impl.PropagationBuilderImpl

doConfigure(ModelStoreBuilder) - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationBuilderImpl

E

equals(Object) - Method in record class tools.refinery.store.dse.propagation.PropagationRejectedResult

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

equals(Object) - Method in record class tools.refinery.store.dse.strategy.BestFirstWorker.RandomVisitResult

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

equals(Object) - Method in record class tools.refinery.store.dse.strategy.SubmitResult

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

equals(Object) - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue1

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

equals(Object) - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue2

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

equals(Object) - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValueN

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

equals(Object) - Method in record class tools.refinery.store.dse.transition.statespace.ActivationStore.VisitResult

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

equals(Object) - Method in record class tools.refinery.store.dse.transition.VersionWithObjectiveValue

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

EquivalenceClassStore - Interface in tools.refinery.store.dse.transition.statespace

exclude(Collection<Criterion>) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder

exclude(Criterion) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder

exclude(Criterion) - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationBuilderImpl

exclude(Criterion...) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder

excludes - Variable in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl

explore() - Method in class tools.refinery.store.dse.strategy.BestFirstExplorer

F

FAIL - Enum constant in enum class tools.refinery.store.dse.modification.DanglingEdges

FastEquivalenceClassStore - Class in tools.refinery.store.dse.transition.statespace.internal

FastEquivalenceClassStore(StateCoderStoreAdapter) - Constructor for class tools.refinery.store.dse.transition.statespace.internal.FastEquivalenceClassStore

fatal() - Method in record class tools.refinery.store.dse.propagation.PropagationRejectedResult

Returns the value of the fatal record component.

fire(Tuple) - Method in interface tools.refinery.store.dse.transition.actions.BoundActionLiteral

fire(Tuple) - Method in class tools.refinery.store.dse.transition.actions.BoundAction

fireActivation(Tuple) - Method in class tools.refinery.store.dse.transition.Transformation

fireRandomActivation(VersionWithObjectiveValue, Random) - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreWorker

formatMessage() - Method in record class tools.refinery.store.dse.propagation.PropagationRejectedResult

G

get(int) - Method in interface tools.refinery.store.dse.transition.ObjectiveValue

get(int) - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue1

get(int) - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue2

get(int) - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValueN

getAccepts() - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationStoreAdapter

getAccepts() - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl

getActionLiterals() - Method in class tools.refinery.store.dse.transition.actions.Action

getActivation(int) - Method in class tools.refinery.store.dse.transition.Transformation

getAllActivationsAsResultSet() - Method in class tools.refinery.store.dse.transition.Transformation

getAndAddActivationAfter(int) - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreBitVectorEntry

getAndAddActivationAfter(int) - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreEntry

getAndAddActivationAfter(int) - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreListEntry

getArity() - Method in class tools.refinery.store.dse.transition.actions.Action

getBest() - Method in class tools.refinery.store.dse.transition.statespace.internal.ObjectivePriorityQueueImpl

getBest() - Method in interface tools.refinery.store.dse.transition.statespace.ObjectivePriorityQueue

getComparator() - Method in class tools.refinery.store.dse.transition.statespace.internal.ObjectivePriorityQueueImpl

getComparator() - Method in interface tools.refinery.store.dse.transition.statespace.ObjectivePriorityQueue

getCriteria() - Method in class tools.refinery.store.dse.transition.objectives.CompositeCriterion

getDanglingEdges() - Method in class tools.refinery.store.dse.modification.actions.DeleteActionLiteral

getDefinition() - Method in class tools.refinery.store.dse.transition.Transformation

getExcludes() - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationStoreAdapter

getExcludes() - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl

getInputVariables() - Method in class tools.refinery.store.dse.modification.actions.CreateActionLiteral

getInputVariables() - Method in class tools.refinery.store.dse.modification.actions.DeleteActionLiteral

getInputVariables() - Method in interface tools.refinery.store.dse.transition.actions.ActionLiteral

getInputVariables() - Method in class tools.refinery.store.dse.transition.actions.ConstantActionLiteral

getInputVariables() - Method in class tools.refinery.store.dse.transition.actions.PutActionLiteral

getLocalVariables() - Method in class tools.refinery.store.dse.transition.actions.Action

getModel() - Method in class tools.refinery.store.dse.modification.internal.ModificationAdapterImpl

getModel() - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationAdapterImpl

getModelSize() - Method in class tools.refinery.store.dse.modification.internal.ModificationAdapterImpl

getModelSize() - Method in interface tools.refinery.store.dse.modification.ModificationAdapter

getModelStore() - Method in class tools.refinery.store.dse.strategy.BestFirstStoreManager

getName() - Method in class tools.refinery.store.dse.transition.Rule

getNodeId() - Method in class tools.refinery.store.dse.transition.actions.ConstantActionLiteral

getNumberOfActivations() - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreEntry

getNumberOfUnresolvedSymmetries() - Method in interface tools.refinery.store.dse.transition.statespace.EquivalenceClassStore

getNumberOfUnresolvedSymmetries() - Method in class tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore

getNumberOfUnvisitedActivations() - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreEntry

getNumberOfVisitedActivations() - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreBitVectorEntry

getNumberOfVisitedActivations() - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreEntry

getNumberOfVisitedActivations() - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreListEntry

getObjectives() - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationStoreAdapter

getObjectives() - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl

getObjectives() - Method in class tools.refinery.store.dse.transition.objectives.CompositeObjective

getObjectiveValue() - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter

getObjectiveValue() - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationAdapterImpl

getOutputVariables() - Method in class tools.refinery.store.dse.modification.actions.CreateActionLiteral

getOutputVariables() - Method in class tools.refinery.store.dse.modification.actions.DeleteActionLiteral

getOutputVariables() - Method in interface tools.refinery.store.dse.transition.actions.ActionLiteral

getOutputVariables() - Method in class tools.refinery.store.dse.transition.actions.ConstantActionLiteral

getOutputVariables() - Method in class tools.refinery.store.dse.transition.actions.PutActionLiteral

getParameters() - Method in class tools.refinery.store.dse.transition.actions.Action

getParameters() - Method in class tools.refinery.store.dse.transition.actions.PutActionLiteral

getPrecondition() - Method in class tools.refinery.store.dse.transition.Rule

getRandom(Random) - Method in class tools.refinery.store.dse.transition.statespace.internal.ObjectivePriorityQueueImpl

getRandom(Random) - Method in interface tools.refinery.store.dse.transition.statespace.ObjectivePriorityQueue

getRandomAndMarkAsVisited(VersionWithObjectiveValue, Random) - Method in interface tools.refinery.store.dse.transition.statespace.ActivationStore

getRandomAndMarkAsVisited(VersionWithObjectiveValue, Random) - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreImpl

getReduction(ModelStore) - Method in class tools.refinery.store.dse.transition.objectives.AndCriterion

getReduction(ModelStore) - Method in interface tools.refinery.store.dse.transition.objectives.Criterion

getReduction(ModelStore) - Method in class tools.refinery.store.dse.transition.objectives.OrCriterion

getReduction(ModelStore) - Method in class tools.refinery.store.dse.transition.objectives.QueryCriterion

getSize() - Method in interface tools.refinery.store.dse.transition.ObjectiveValue

getSize() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue1

getSize() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue2

getSize() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValueN

getSize() - Method in class tools.refinery.store.dse.transition.statespace.internal.ObjectivePriorityQueueImpl

getSize() - Method in interface tools.refinery.store.dse.transition.statespace.ObjectivePriorityQueue

getSolutions() - Method in class tools.refinery.store.dse.transition.statespace.internal.SolutionStoreImpl

getSolutions() - Method in interface tools.refinery.store.dse.transition.statespace.SolutionStore

getSolutionStore() - Method in class tools.refinery.store.dse.strategy.BestFirstStoreManager

getStore() - Method in class tools.refinery.store.dse.modification.internal.ModificationStoreAdapterImpl

getStore() - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl

getStoreAdapter() - Method in class tools.refinery.store.dse.modification.internal.ModificationAdapterImpl

getStoreAdapter() - Method in interface tools.refinery.store.dse.propagation.PropagationAdapter

getStoreAdapter() - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter

getStoreAdapter() - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationAdapterImpl

getSymbol() - Method in class tools.refinery.store.dse.transition.actions.PutActionLiteral

getTransformations() - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter

getTransformations() - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationStoreAdapter

getTransformations() - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationAdapterImpl

getTransformations() - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl

getValue() - Method in class tools.refinery.store.dse.transition.actions.PutActionLiteral

getValue() - Method in interface tools.refinery.store.dse.transition.objectives.ObjectiveCalculator

getVariable() - Method in class tools.refinery.store.dse.modification.actions.CreateActionLiteral

getVariable() - Method in class tools.refinery.store.dse.modification.actions.DeleteActionLiteral

getVariable() - Method in class tools.refinery.store.dse.transition.actions.ConstantActionLiteral

getVisualizationStore() - Method in class tools.refinery.store.dse.strategy.BestFirstStoreManager

H

hasEnoughSolution() - Method in class tools.refinery.store.dse.strategy.BestFirstWorker

hasEnoughSolution() - Method in class tools.refinery.store.dse.transition.statespace.internal.SolutionStoreImpl

hasEnoughSolution() - Method in interface tools.refinery.store.dse.transition.statespace.SolutionStore

hashCode() - Method in record class tools.refinery.store.dse.propagation.PropagationRejectedResult

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.dse.strategy.BestFirstWorker.RandomVisitResult

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.dse.strategy.SubmitResult

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue1

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue2

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValueN

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.dse.transition.statespace.ActivationStore.VisitResult

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.dse.transition.VersionWithObjectiveValue

Returns a hash code value for this object.

hasUnmarkedActivation(VersionWithObjectiveValue) - Method in interface tools.refinery.store.dse.transition.statespace.ActivationStore

hasUnmarkedActivation(VersionWithObjectiveValue) - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreImpl

hasUnresolvedSymmetry() - Method in interface tools.refinery.store.dse.transition.statespace.EquivalenceClassStore

hasUnresolvedSymmetry() - Method in class tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore

I

IGNORE - Enum constant in enum class tools.refinery.store.dse.modification.DanglingEdges

include() - Method in record class tools.refinery.store.dse.strategy.SubmitResult

Returns the value of the include record component.

isAlwaysZero(ModelStore) - Method in class tools.refinery.store.dse.transition.objectives.CompositeObjective

isAlwaysZero(ModelStore) - Method in class tools.refinery.store.dse.transition.objectives.CountObjective

isAlwaysZero(ModelStore) - Method in interface tools.refinery.store.dse.transition.objectives.Objective

isChanged() - Method in record class tools.refinery.store.dse.propagation.PropagationRejectedResult

isChanged() - Method in interface tools.refinery.store.dse.propagation.PropagationResult

isChanged() - Method in enum class tools.refinery.store.dse.propagation.PropagationSuccessResult

isRejected() - Method in record class tools.refinery.store.dse.propagation.PropagationRejectedResult

isRejected() - Method in interface tools.refinery.store.dse.propagation.PropagationResult

isRejected() - Method in enum class tools.refinery.store.dse.propagation.PropagationSuccessResult

isSatisfied() - Method in interface tools.refinery.store.dse.transition.objectives.CriterionCalculator

L

last - Variable in class tools.refinery.store.dse.strategy.BestFirstWorker

M

markNewAsVisited(VersionWithObjectiveValue, int[]) - Method in interface tools.refinery.store.dse.transition.statespace.ActivationStore

markNewAsVisited(VersionWithObjectiveValue, int[]) - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreImpl

mayHaveMore() - Method in record class tools.refinery.store.dse.transition.statespace.ActivationStore.VisitResult

Returns the value of the mayHaveMore record component.

message() - Method in record class tools.refinery.store.dse.propagation.PropagationRejectedResult

Returns the value of the message record component.

ModificationActionLiterals - Class in tools.refinery.store.dse.modification.actions

ModificationAdapter - Interface in tools.refinery.store.dse.modification

ModificationAdapterImpl - Class in tools.refinery.store.dse.modification.internal

ModificationBuilder - Interface in tools.refinery.store.dse.modification

ModificationBuilderImpl - Class in tools.refinery.store.dse.modification.internal

ModificationBuilderImpl() - Constructor for class tools.refinery.store.dse.modification.internal.ModificationBuilderImpl

ModificationStoreAdapter - Interface in tools.refinery.store.dse.modification

ModificationStoreAdapterImpl - Class in tools.refinery.store.dse.modification.internal

N

newVersion() - Method in record class tools.refinery.store.dse.strategy.SubmitResult

Returns the value of the newVersion record component.

numberOfActivations - Variable in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreEntry

numberOfUnresolvedSymmetries - Variable in class tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore

O

objective() - Method in record class tools.refinery.store.dse.strategy.SubmitResult

Returns the value of the objective record component.

objective(Objective) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder

objective(Objective) - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationBuilderImpl

Objective - Interface in tools.refinery.store.dse.transition.objectives

ObjectiveCalculator - Interface in tools.refinery.store.dse.transition.objectives

objectiveFunction - Variable in class tools.refinery.store.dse.transition.objectives.QueryObjective

ObjectivePriorityQueue - Interface in tools.refinery.store.dse.transition.statespace

ObjectivePriorityQueueImpl - Class in tools.refinery.store.dse.transition.statespace.internal

ObjectivePriorityQueueImpl(List<Objective>) - Constructor for class tools.refinery.store.dse.transition.statespace.internal.ObjectivePriorityQueueImpl

objectives - Variable in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl

objectives(Collection<? extends Objective>) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder

objectives(Objective...) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder

Objectives - Class in tools.refinery.store.dse.transition.objectives

objectiveValue() - Method in record class tools.refinery.store.dse.transition.VersionWithObjectiveValue

Returns the value of the objectiveValue record component.

ObjectiveValue - Interface in tools.refinery.store.dse.transition

ObjectiveValue1(double) - Constructor for record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue1

Creates an instance of a ObjectiveValue1 record class.

ObjectiveValue2(double, double) - Constructor for record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue2

Creates an instance of a ObjectiveValue2 record class.

ObjectiveValueN(double[]) - Constructor for record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValueN

Creates an instance of a ObjectiveValueN record class.

ObjectiveValues - Interface in tools.refinery.store.dse.transition

ObjectiveValues.ObjectiveValue1 - Record Class in tools.refinery.store.dse.transition

ObjectiveValues.ObjectiveValue2 - Record Class in tools.refinery.store.dse.transition

ObjectiveValues.ObjectiveValueN - Record Class in tools.refinery.store.dse.transition

of(double) - Static method in interface tools.refinery.store.dse.transition.ObjectiveValue

of(double[]) - Static method in interface tools.refinery.store.dse.transition.ObjectiveValue

of(double, double) - Static method in interface tools.refinery.store.dse.transition.ObjectiveValue

of(String, RuleCallback0) - Static method in class tools.refinery.store.dse.transition.Rule

of(String, RuleCallback1) - Static method in class tools.refinery.store.dse.transition.Rule

of(String, RuleCallback2) - Static method in class tools.refinery.store.dse.transition.Rule

of(String, RuleCallback3) - Static method in class tools.refinery.store.dse.transition.Rule

of(String, RuleCallback4) - Static method in class tools.refinery.store.dse.transition.Rule

of(RuleCallback0) - Static method in class tools.refinery.store.dse.transition.Rule

of(RuleCallback1) - Static method in class tools.refinery.store.dse.transition.Rule

of(RuleCallback2) - Static method in class tools.refinery.store.dse.transition.Rule

of(RuleCallback3) - Static method in class tools.refinery.store.dse.transition.Rule

of(RuleCallback4) - Static method in class tools.refinery.store.dse.transition.Rule

ofPrecondition(RelationalQuery, List<? extends ActionLiteral>) - Static method in class tools.refinery.store.dse.transition.actions.Action

ofSymbolicParameters(List<SymbolicParameter>, List<? extends ActionLiteral>) - Static method in class tools.refinery.store.dse.transition.actions.Action

or(Collection<? extends Criterion>) - Static method in class tools.refinery.store.dse.transition.objectives.Criteria

or(Criterion...) - Static method in class tools.refinery.store.dse.transition.objectives.Criteria

OrCriterion - Class in tools.refinery.store.dse.transition.objectives

P

propagate() - Method in interface tools.refinery.store.dse.propagation.PropagationAdapter

PROPAGATED - Enum constant in enum class tools.refinery.store.dse.propagation.PropagationSuccessResult

PROPAGATED - Static variable in interface tools.refinery.store.dse.propagation.PropagationResult

propagateOne() - Method in interface tools.refinery.store.dse.propagation.BoundPropagator

propagateOne() - Method in class tools.refinery.store.dse.propagation.impl.rule.BoundRuleBasedPropagator

PropagationAdapter - Interface in tools.refinery.store.dse.propagation

PropagationBuilder - Interface in tools.refinery.store.dse.propagation

PropagationBuilderImpl - Class in tools.refinery.store.dse.propagation.impl

PropagationBuilderImpl() - Constructor for class tools.refinery.store.dse.propagation.impl.PropagationBuilderImpl

PropagationRejectedResult - Record Class in tools.refinery.store.dse.propagation

PropagationRejectedResult(Object, String) - Constructor for record class tools.refinery.store.dse.propagation.PropagationRejectedResult

PropagationRejectedResult(Object, String, boolean) - Constructor for record class tools.refinery.store.dse.propagation.PropagationRejectedResult

Creates an instance of a PropagationRejectedResult record class.

PropagationResult - Interface in tools.refinery.store.dse.propagation

PropagationStoreAdapter - Interface in tools.refinery.store.dse.propagation

PropagationSuccessResult - Enum Class in tools.refinery.store.dse.propagation

propagator(Propagator) - Method in class tools.refinery.store.dse.propagation.impl.PropagationBuilderImpl

propagator(Propagator) - Method in interface tools.refinery.store.dse.propagation.PropagationBuilder

Propagator - Interface in tools.refinery.store.dse.propagation

put(Symbol<T>, T, NodeVariable...) - Static method in class tools.refinery.store.dse.transition.actions.ActionLiterals

PutActionLiteral<T> - Class in tools.refinery.store.dse.transition.actions

PutActionLiteral(Symbol<T>, T, List<NodeVariable>) - Constructor for class tools.refinery.store.dse.transition.actions.PutActionLiteral

Q

query - Variable in class tools.refinery.store.dse.transition.objectives.QueryCriterion

QueryCriterion - Class in tools.refinery.store.dse.transition.objectives

QueryCriterion(AnyQuery, boolean) - Constructor for class tools.refinery.store.dse.transition.objectives.QueryCriterion

Criteria based on the existence of matches evaluated on the model.

QueryObjective - Class in tools.refinery.store.dse.transition.objectives

QueryObjective(FunctionalQuery<? extends Number>) - Constructor for class tools.refinery.store.dse.transition.objectives.QueryObjective

R

RandomVisitResult(SubmitResult, boolean) - Constructor for record class tools.refinery.store.dse.strategy.BestFirstWorker.RandomVisitResult

Creates an instance of a RandomVisitResult record class.

reason() - Method in record class tools.refinery.store.dse.propagation.PropagationRejectedResult

Returns the value of the reason record component.

remove(VersionWithObjectiveValue) - Method in class tools.refinery.store.dse.transition.statespace.internal.ObjectivePriorityQueueImpl

remove(VersionWithObjectiveValue) - Method in interface tools.refinery.store.dse.transition.statespace.ObjectivePriorityQueue

remove(Symbol<T>, NodeVariable...) - Static method in class tools.refinery.store.dse.transition.actions.ActionLiterals

resolveOneSymmetry() - Method in interface tools.refinery.store.dse.transition.statespace.EquivalenceClassStore

resolveOneSymmetry() - Method in class tools.refinery.store.dse.transition.statespace.internal.CompleteEquivalenceClassStore

resolveOneSymmetry() - Method in class tools.refinery.store.dse.transition.statespace.internal.FastEquivalenceClassStore

restoreToBest() - Method in class tools.refinery.store.dse.strategy.BestFirstWorker

restoreToLast() - Method in class tools.refinery.store.dse.strategy.BestFirstWorker

restoreToRandom(Random) - Method in class tools.refinery.store.dse.strategy.BestFirstWorker

rule(Rule) - Method in class tools.refinery.store.dse.propagation.impl.PropagationBuilderImpl

rule(Rule) - Method in interface tools.refinery.store.dse.propagation.PropagationBuilder

Rule - Class in tools.refinery.store.dse.transition

Rule(String, RelationalQuery, Action) - Constructor for class tools.refinery.store.dse.transition.Rule

RuleBasedPropagator - Class in tools.refinery.store.dse.propagation.impl.rule

RuleBasedPropagator(List<Rule>) - Constructor for class tools.refinery.store.dse.propagation.impl.rule.RuleBasedPropagator

RuleBuilder - Class in tools.refinery.store.dse.transition

RuleCallback0 - Interface in tools.refinery.store.dse.transition.callback

RuleCallback1 - Interface in tools.refinery.store.dse.transition.callback

RuleCallback2 - Interface in tools.refinery.store.dse.transition.callback

RuleCallback3 - Interface in tools.refinery.store.dse.transition.callback

RuleCallback4 - Interface in tools.refinery.store.dse.transition.callback

ruleDefinitions - Variable in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl

rules(Collection<Rule>) - Method in interface tools.refinery.store.dse.propagation.PropagationBuilder

rules(Rule...) - Method in interface tools.refinery.store.dse.propagation.PropagationBuilder

S

satisfiedIfHasMatch - Variable in class tools.refinery.store.dse.transition.objectives.QueryCriterion

self() - Method in class tools.refinery.store.dse.transition.RuleBuilder

shouldRetry() - Method in record class tools.refinery.store.dse.strategy.BestFirstWorker.RandomVisitResult

Returns the value of the shouldRetry record component.

SolutionStore - Interface in tools.refinery.store.dse.transition.statespace

SolutionStoreImpl - Class in tools.refinery.store.dse.transition.statespace.internal

SolutionStoreImpl(int) - Constructor for class tools.refinery.store.dse.transition.statespace.internal.SolutionStoreImpl

startExploration(Version) - Method in class tools.refinery.store.dse.strategy.BestFirstStoreManager

startExploration(Version, long) - Method in class tools.refinery.store.dse.strategy.BestFirstStoreManager

stateCoderStoreAdapter - Variable in class tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore

store - Variable in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl

submit() - Method in class tools.refinery.store.dse.strategy.BestFirstWorker

submit(VersionWithObjectiveValue) - Method in class tools.refinery.store.dse.transition.statespace.internal.ObjectivePriorityQueueImpl

submit(VersionWithObjectiveValue) - Method in class tools.refinery.store.dse.transition.statespace.internal.SolutionStoreImpl

submit(VersionWithObjectiveValue) - Method in interface tools.refinery.store.dse.transition.statespace.ObjectivePriorityQueue

submit(VersionWithObjectiveValue) - Method in interface tools.refinery.store.dse.transition.statespace.SolutionStore

submit(VersionWithObjectiveValue, StateCoderResult, int[], boolean) - Method in interface tools.refinery.store.dse.transition.statespace.EquivalenceClassStore

submit(VersionWithObjectiveValue, StateCoderResult, int[], boolean) - Method in class tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore

submit(StateCoderResult) - Method in interface tools.refinery.store.dse.transition.statespace.EquivalenceClassStore

submit(StateCoderResult) - Method in class tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore

submitResult() - Method in record class tools.refinery.store.dse.strategy.BestFirstWorker.RandomVisitResult

Returns the value of the submitResult record component.

SubmitResult - Record Class in tools.refinery.store.dse.strategy

SubmitResult(boolean, boolean, ObjectiveValue, VersionWithObjectiveValue) - Constructor for record class tools.refinery.store.dse.strategy.SubmitResult

Creates an instance of a SubmitResult record class.

successfulVisit() - Method in record class tools.refinery.store.dse.transition.statespace.ActivationStore.VisitResult

Returns the value of the successfulVisit record component.

sum(Collection<? extends Objective>) - Static method in class tools.refinery.store.dse.transition.objectives.Objectives

sum(Objective...) - Static method in class tools.refinery.store.dse.transition.objectives.Objectives

T

throwIfRejected() - Method in record class tools.refinery.store.dse.propagation.PropagationRejectedResult

throwIfRejected() - Method in interface tools.refinery.store.dse.propagation.PropagationResult

throwIfRejected() - Method in enum class tools.refinery.store.dse.propagation.PropagationSuccessResult

throwOnFatalRejection(boolean) - Method in class tools.refinery.store.dse.propagation.impl.PropagationBuilderImpl

throwOnFatalRejection(boolean) - Method in interface tools.refinery.store.dse.propagation.PropagationBuilder

toLiterals() - Method in interface tools.refinery.store.dse.transition.callback.ActionCallback0

toLiterals(NodeVariable) - Method in interface tools.refinery.store.dse.transition.callback.ActionCallback1

toLiterals(NodeVariable, NodeVariable) - Method in interface tools.refinery.store.dse.transition.callback.ActionCallback2

toLiterals(NodeVariable, NodeVariable, NodeVariable) - Method in interface tools.refinery.store.dse.transition.callback.ActionCallback3

toLiterals(NodeVariable, NodeVariable, NodeVariable, NodeVariable) - Method in interface tools.refinery.store.dse.transition.callback.ActionCallback4

tools.refinery.store.dse.modification - package tools.refinery.store.dse.modification

tools.refinery.store.dse.modification.actions - package tools.refinery.store.dse.modification.actions

tools.refinery.store.dse.modification.internal - package tools.refinery.store.dse.modification.internal

tools.refinery.store.dse.propagation - package tools.refinery.store.dse.propagation

tools.refinery.store.dse.propagation.impl - package tools.refinery.store.dse.propagation.impl

tools.refinery.store.dse.propagation.impl.rule - package tools.refinery.store.dse.propagation.impl.rule

tools.refinery.store.dse.strategy - package tools.refinery.store.dse.strategy

tools.refinery.store.dse.transition - package tools.refinery.store.dse.transition

tools.refinery.store.dse.transition.actions - package tools.refinery.store.dse.transition.actions

tools.refinery.store.dse.transition.callback - package tools.refinery.store.dse.transition.callback

tools.refinery.store.dse.transition.internal - package tools.refinery.store.dse.transition.internal

tools.refinery.store.dse.transition.objectives - package tools.refinery.store.dse.transition.objectives

tools.refinery.store.dse.transition.statespace - package tools.refinery.store.dse.transition.statespace

tools.refinery.store.dse.transition.statespace.internal - package tools.refinery.store.dse.transition.statespace.internal

toString() - Method in record class tools.refinery.store.dse.propagation.PropagationRejectedResult

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.store.dse.strategy.BestFirstWorker.RandomVisitResult

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.store.dse.strategy.SubmitResult

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue1

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue2

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValueN

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.store.dse.transition.statespace.ActivationStore.VisitResult

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.store.dse.transition.VersionWithObjectiveValue

Returns a string representation of this record class.

transformation() - Method in record class tools.refinery.store.dse.transition.statespace.ActivationStore.VisitResult

Returns the value of the transformation record component.

transformation(Rule) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder

transformation(Rule) - Method in class tools.refinery.store.dse.transition.internal.DesignSpaceExplorationBuilderImpl

Transformation - Class in tools.refinery.store.dse.transition

Transformation(Model, Rule) - Constructor for class tools.refinery.store.dse.transition.Transformation

transformations(Collection<? extends Rule>) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder

transformations(Rule...) - Method in interface tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder

tryToAdd(StateCoderResult) - Method in class tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore

tryToAdd(StateCoderResult) - Method in class tools.refinery.store.dse.transition.statespace.internal.FastEquivalenceClassStore

tryToAdd(StateCoderResult, VersionWithObjectiveValue, int[], boolean) - Method in class tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore

tryToAdd(StateCoderResult, VersionWithObjectiveValue, int[], boolean) - Method in class tools.refinery.store.dse.transition.statespace.internal.CompleteEquivalenceClassStore

tryToAdd(StateCoderResult, VersionWithObjectiveValue, int[], boolean) - Method in class tools.refinery.store.dse.transition.statespace.internal.FastEquivalenceClassStore

U

UNCHANGED - Enum constant in enum class tools.refinery.store.dse.propagation.PropagationSuccessResult

UNCHANGED - Static variable in interface tools.refinery.store.dse.propagation.PropagationResult

UNLIMITED - Static variable in class tools.refinery.store.dse.transition.statespace.internal.SolutionStoreImpl

V

value(FunctionalQuery<? extends Number>) - Static method in class tools.refinery.store.dse.transition.objectives.Objectives

value0() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue1

Returns the value of the value0 record component.

value0() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue2

Returns the value of the value0 record component.

value1() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue2

Returns the value of the value1 record component.

valueOf(String) - Static method in enum class tools.refinery.store.dse.modification.DanglingEdges

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.store.dse.propagation.PropagationSuccessResult

Returns the enum constant of this class with the specified name.

values() - Static method in enum class tools.refinery.store.dse.modification.DanglingEdges

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.store.dse.propagation.PropagationSuccessResult

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Method in record class tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValueN

Returns the value of the values record component.

version() - Method in record class tools.refinery.store.dse.transition.VersionWithObjectiveValue

Returns the value of the version record component.

VersionWithObjectiveValue - Record Class in tools.refinery.store.dse.transition

VersionWithObjectiveValue(Version, ObjectiveValue) - Constructor for record class tools.refinery.store.dse.transition.VersionWithObjectiveValue

Creates an instance of a VersionWithObjectiveValue record class.

visitActivation(VersionWithObjectiveValue, int, int) - Method in class tools.refinery.store.dse.transition.statespace.internal.ActivationStoreImpl

visitRandomUnvisited(Random) - Method in class tools.refinery.store.dse.strategy.BestFirstWorker

VisitResult(boolean, boolean, int, int) - Constructor for record class tools.refinery.store.dse.transition.statespace.ActivationStore.VisitResult

Creates an instance of a VisitResult record class.

W

whenHasMatch(AnyQuery) - Static method in class tools.refinery.store.dse.transition.objectives.Criteria

whenNoMatch(AnyQuery) - Static method in class tools.refinery.store.dse.transition.objectives.Criteria

A B C D E F G H I L M N O P Q R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values