Hierarchy For All Packages

Package Hierarchies:

• tools.refinery.store.dse.modification,
• tools.refinery.store.dse.modification.actions,
• tools.refinery.store.dse.modification.internal,
• tools.refinery.store.dse.propagation,
• tools.refinery.store.dse.propagation.impl,
• tools.refinery.store.dse.propagation.impl.rule,
• tools.refinery.store.dse.strategy,
• tools.refinery.store.dse.transition,
• tools.refinery.store.dse.transition.actions,
• tools.refinery.store.dse.transition.callback,
• tools.refinery.store.dse.transition.internal,
• tools.refinery.store.dse.transition.objectives,
• tools.refinery.store.dse.transition.statespace,
• tools.refinery.store.dse.transition.statespace.internal

Class Hierarchy

• java.lang.Object
  • tools.refinery.store.dse.transition.actions.AbstractActionLiteral (implements tools.refinery.store.dse.transition.actions.ActionLiteral)
    • tools.refinery.store.dse.transition.actions.ConstantActionLiteral
    • tools.refinery.store.dse.modification.actions.CreateActionLiteral
    • tools.refinery.store.dse.modification.actions.DeleteActionLiteral
    • tools.refinery.store.dse.transition.actions.PutActionLiteral<T>
  • tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore (implements tools.refinery.store.dse.transition.statespace.EquivalenceClassStore)
    • tools.refinery.store.dse.transition.statespace.internal.CompleteEquivalenceClassStore (implements tools.refinery.store.dse.transition.statespace.EquivalenceClassStore)
    • tools.refinery.store.dse.transition.statespace.internal.FastEquivalenceClassStore (implements tools.refinery.store.dse.transition.statespace.EquivalenceClassStore)
  • tools.refinery.store.adapter.AbstractModelAdapterBuilder<T> (implements tools.refinery.store.adapter.ModelAdapterBuilder)
    • tools.refinery.store.dse.transition.internal.DesignSpaceExplorationBuilderImpl (implements tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder)
    • tools.refinery.store.dse.modification.internal.ModificationBuilderImpl (implements tools.refinery.store.dse.modification.ModificationBuilder)
    • tools.refinery.store.dse.propagation.impl.PropagationBuilderImpl (implements tools.refinery.store.dse.propagation.PropagationBuilder)
  • tools.refinery.logic.dnf.AbstractQueryBuilder<T>
    • tools.refinery.store.dse.transition.RuleBuilder
  • tools.refinery.store.dse.transition.actions.Action
  • tools.refinery.store.dse.transition.actions.ActionLiterals
  • tools.refinery.store.dse.transition.statespace.internal.ActivationStoreEntry
    • tools.refinery.store.dse.transition.statespace.internal.ActivationStoreBitVectorEntry
    • tools.refinery.store.dse.transition.statespace.internal.ActivationStoreListEntry
  • tools.refinery.store.dse.transition.statespace.internal.ActivationStoreImpl (implements tools.refinery.store.dse.transition.statespace.ActivationStore)
  • tools.refinery.store.dse.transition.statespace.internal.ActivationStoreWorker
  • tools.refinery.store.dse.strategy.BestFirstStoreManager
  • tools.refinery.store.dse.strategy.BestFirstWorker
    • tools.refinery.store.dse.strategy.BestFirstExplorer
  • tools.refinery.store.dse.transition.actions.BoundAction
  • tools.refinery.store.dse.propagation.impl.rule.BoundRuleBasedPropagator (implements tools.refinery.store.dse.propagation.BoundPropagator)
  • tools.refinery.store.dse.transition.objectives.CompositeCriterion (implements tools.refinery.store.dse.transition.objectives.Criterion)
    • tools.refinery.store.dse.transition.objectives.AndCriterion
    • tools.refinery.store.dse.transition.objectives.OrCriterion
  • tools.refinery.store.dse.transition.objectives.CompositeObjective (implements tools.refinery.store.dse.transition.objectives.Objective)
  • tools.refinery.store.dse.transition.objectives.CountObjective (implements tools.refinery.store.dse.transition.objectives.Objective)
  • tools.refinery.store.dse.transition.objectives.Criteria
  • tools.refinery.store.dse.transition.internal.DesignSpaceExplorationAdapterImpl (implements tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter)
  • tools.refinery.store.dse.transition.internal.DesignSpaceExplorationStoreAdapterImpl (implements tools.refinery.store.dse.transition.DesignSpaceExplorationStoreAdapter)
  • tools.refinery.store.dse.modification.actions.ModificationActionLiterals
  • tools.refinery.store.dse.modification.internal.ModificationAdapterImpl (implements tools.refinery.store.dse.modification.ModificationAdapter)
  • tools.refinery.store.dse.modification.internal.ModificationStoreAdapterImpl (implements tools.refinery.store.dse.modification.ModificationStoreAdapter)
  • tools.refinery.store.dse.transition.statespace.internal.ObjectivePriorityQueueImpl (implements tools.refinery.store.dse.transition.statespace.ObjectivePriorityQueue)
  • tools.refinery.store.dse.transition.objectives.Objectives
  • tools.refinery.store.dse.transition.objectives.QueryCriterion (implements tools.refinery.store.dse.transition.objectives.Criterion)
  • tools.refinery.store.dse.transition.objectives.QueryObjective (implements tools.refinery.store.dse.transition.objectives.Objective)
  • tools.refinery.store.dse.transition.Rule
  • tools.refinery.store.dse.propagation.impl.rule.RuleBasedPropagator (implements tools.refinery.store.dse.propagation.Propagator)
  • tools.refinery.store.dse.transition.statespace.internal.SolutionStoreImpl (implements tools.refinery.store.dse.transition.statespace.SolutionStore)
  • tools.refinery.store.dse.transition.Transformation

Interface Hierarchy

• tools.refinery.store.dse.transition.callback.ActionCallback0
• tools.refinery.store.dse.transition.callback.ActionCallback1
• tools.refinery.store.dse.transition.callback.ActionCallback2
• tools.refinery.store.dse.transition.callback.ActionCallback3
• tools.refinery.store.dse.transition.callback.ActionCallback4
• tools.refinery.store.dse.transition.actions.ActionLiteral
• tools.refinery.store.dse.transition.statespace.ActivationStore
• tools.refinery.store.dse.transition.actions.BoundActionLiteral
• tools.refinery.store.dse.propagation.BoundPropagator
• tools.refinery.store.dse.transition.objectives.Criterion
• tools.refinery.store.dse.transition.objectives.CriterionCalculator
• tools.refinery.store.dse.transition.statespace.EquivalenceClassStore
• tools.refinery.store.adapter.ModelAdapter
  • tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter
  • tools.refinery.store.dse.modification.ModificationAdapter
  • tools.refinery.store.dse.propagation.PropagationAdapter
• tools.refinery.store.adapter.ModelAdapterBuilder
  • tools.refinery.store.dse.transition.DesignSpaceExplorationBuilder
  • tools.refinery.store.dse.modification.ModificationBuilder
  • tools.refinery.store.dse.propagation.PropagationBuilder
• tools.refinery.store.adapter.ModelStoreAdapter
  • tools.refinery.store.dse.transition.DesignSpaceExplorationStoreAdapter
  • tools.refinery.store.dse.modification.ModificationStoreAdapter
  • tools.refinery.store.dse.propagation.PropagationStoreAdapter
• tools.refinery.store.dse.transition.objectives.Objective
• tools.refinery.store.dse.transition.objectives.ObjectiveCalculator
• tools.refinery.store.dse.transition.statespace.ObjectivePriorityQueue
• tools.refinery.store.dse.transition.ObjectiveValue
• tools.refinery.store.dse.transition.ObjectiveValues
• tools.refinery.store.dse.propagation.PropagationResult
• tools.refinery.store.dse.propagation.Propagator
• tools.refinery.store.dse.transition.callback.RuleCallback0
• tools.refinery.store.dse.transition.callback.RuleCallback1
• tools.refinery.store.dse.transition.callback.RuleCallback2
• tools.refinery.store.dse.transition.callback.RuleCallback3
• tools.refinery.store.dse.transition.callback.RuleCallback4
• tools.refinery.store.dse.transition.statespace.SolutionStore

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • tools.refinery.store.dse.modification.DanglingEdges
    • tools.refinery.store.dse.propagation.PropagationRequest
    • tools.refinery.store.dse.propagation.PropagationSuccessResult (implements tools.refinery.store.dse.propagation.PropagationResult)

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • tools.refinery.store.dse.transition.statespace.ActivationStore.VisitResult
    • tools.refinery.store.dse.strategy.BestFirstWorker.RandomVisitResult
    • tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue1 (implements tools.refinery.store.dse.transition.ObjectiveValue)
    • tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValue2 (implements tools.refinery.store.dse.transition.ObjectiveValue)
    • tools.refinery.store.dse.transition.ObjectiveValues.ObjectiveValueN (implements tools.refinery.store.dse.transition.ObjectiveValue)
    • tools.refinery.store.dse.propagation.PropagationRejectedResult (implements tools.refinery.store.dse.propagation.PropagationResult)
    • tools.refinery.store.dse.strategy.SubmitResult
    • tools.refinery.store.dse.transition.VersionWithObjectiveValue