Index (refinery-store-dse 0.1.4-SNAPSHOT API)

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>, 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
checkConcretization() - Method in interface tools.refinery.store.dse.propagation.BoundPropagator
checkConcretization() - Method in interface tools.refinery.store.dse.propagation.PropagationAdapter
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
concretizationInProgress() - Method in interface tools.refinery.store.dse.propagation.PropagationAdapter
concretizationRequested() - Method in interface tools.refinery.store.dse.propagation.BoundPropagator
concretizationRequested() - Method in class tools.refinery.store.dse.propagation.impl.rule.BoundRuleBasedPropagator
concretizationRequested() - Method in interface tools.refinery.store.dse.propagation.PropagationAdapter
concretizationRule(Rule) - Method in class tools.refinery.store.dse.propagation.impl.PropagationBuilderImpl
concretizationRule(Rule) - Method in interface tools.refinery.store.dse.propagation.PropagationBuilder
concretizationRules(Collection<Rule>) - Method in interface tools.refinery.store.dse.propagation.PropagationBuilder
concretizationRules(Rule...) - Method in interface tools.refinery.store.dse.propagation.PropagationBuilder
concretize() - Method in interface tools.refinery.store.dse.propagation.PropagationAdapter
CONCRETIZE - Enum constant in enum class tools.refinery.store.dse.propagation.PropagationRequest
concretizeOne() - Method in interface tools.refinery.store.dse.propagation.BoundPropagator
concretizeOne() - Method in class tools.refinery.store.dse.propagation.impl.rule.BoundRuleBasedPropagator
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
PROPAGATE - Enum constant in enum class tools.refinery.store.dse.propagation.PropagationRequest
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
propagateOne(PropagationRequest) - Method in interface tools.refinery.store.dse.propagation.BoundPropagator
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.
PropagationRequest - Enum Class in tools.refinery.store.dse.propagation
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>, 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.PropagationRequest: 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.PropagationRequest: 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