Package ai.libs.hasco.core
Class HASCOUtil
- java.lang.Object
-
- ai.libs.hasco.core.HASCOUtil
-
public class HASCOUtil extends java.lang.Object
Utility functions in the context of HASCO algorithm selection and configurtion.
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static java.util.Collection<java.lang.String>
getClosedDatacontainersInState(ai.libs.jaicore.logic.fol.structure.Monom state)
static <N,A,V extends java.lang.Comparable<V>>
ai.libs.jaicore.components.model.ComponentInstancegetComponentInstanceForNode(IHASCOPlanningReduction<N,A> planningGraphDeriver, java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.search.model.travesaltree.BackPointerPath<N,A,?> path, java.lang.String name, boolean resolveIntervals)
static ai.libs.jaicore.components.model.ComponentInstance
getComponentInstanceForPlan(java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.planning.core.interfaces.IPlan plan, java.lang.String name, boolean resolveIntervals)
static ai.libs.jaicore.components.model.ComponentInstance
getComponentInstanceFromState(java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, ai.libs.jaicore.logic.fol.structure.Monom state, java.lang.String name, boolean resolveIntervals)
static ai.libs.jaicore.logic.fol.structure.Monom
getFinalStateOfPlan(ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.planning.core.interfaces.IPlan plan)
static java.util.Map<java.lang.String,ai.libs.jaicore.components.model.ComponentInstance>
getGroundComponentsFromState(ai.libs.jaicore.logic.fol.structure.Monom state, java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, boolean resolveIntervals)
static int
getNumberOfUnparametrizedSolutions(ai.libs.jaicore.components.model.SoftwareConfigurationProblem<?> problem)
static java.util.Collection<java.lang.String>
getOverwrittenDatacontainersInState(ai.libs.jaicore.logic.fol.structure.Monom state)
static java.util.Map<java.lang.String,java.lang.String>
getParameterContainerMap(ai.libs.jaicore.logic.fol.structure.Monom state, java.lang.String objectName)
static java.util.Map<ai.libs.jaicore.components.model.ComponentInstance,java.util.Map<ai.libs.jaicore.components.api.IParameter,java.lang.String>>
getParametrizations(ai.libs.jaicore.logic.fol.structure.Monom state, java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, boolean resolveIntervals)
static <V extends java.lang.Comparable<V>>
ai.libs.jaicore.planning.hierarchical.problems.htn.CostSensitiveHTNPlanningProblem<ai.libs.jaicore.planning.hierarchical.problems.ceocipstn.CEOCIPSTNPlanningProblem,V>getPlannigProblem(ai.libs.jaicore.components.model.RefinementConfiguredSoftwareConfigurationProblem<V> problem)
static <N,A>
org.api4.java.ai.graphsearch.problem.IPathSearchInput<N,A>getSearchProblem(java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, java.lang.String requiredInterface, ai.libs.jaicore.components.api.INumericParameterRefinementConfigurationMap paramRefinementConfig, IHASCOPlanningReduction<N,A> plan2searchReduction)
static <N,A,V extends java.lang.Comparable<V>>
org.api4.java.ai.graphsearch.problem.IPathSearchWithPathEvaluationsInput<N,A,V>getSearchProblemWithEvaluation(ai.libs.jaicore.components.model.RefinementConfiguredSoftwareConfigurationProblem<V> problem, IHASCOPlanningReduction<N,A> plan2searchReduction)
static <N,A,V extends java.lang.Comparable<V>>
org.api4.java.ai.graphsearch.problem.IPathSearchWithPathEvaluationsInput<N,A,V>getSearchProblemWithEvaluation(ai.libs.jaicore.planning.hierarchical.problems.htn.CostSensitiveHTNPlanningProblem<ai.libs.jaicore.planning.hierarchical.problems.ceocipstn.CEOCIPSTNPlanningProblem,V> planningProblem, IHASCOPlanningReduction<N,A> plan2searchReduction)
static <N,A,V extends java.lang.Comparable<V>>
ai.libs.jaicore.components.model.ComponentInstancegetSolutionCompositionForNode(IHASCOPlanningReduction<N,A> planningGraphDeriver, java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.search.model.travesaltree.BackPointerPath<N,A,?> path, boolean resolveIntervals)
static ai.libs.jaicore.components.model.ComponentInstance
getSolutionCompositionForPlan(java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.planning.core.interfaces.IPlan plan, boolean resolveIntervals)
static ai.libs.jaicore.components.model.ComponentInstance
getSolutionCompositionFromState(java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, ai.libs.jaicore.logic.fol.structure.Monom state, boolean resolveIntervals)
static java.util.Map<ai.libs.jaicore.components.api.IParameter,ai.libs.jaicore.components.api.IParameterDomain>
getUpdatedDomainsOfComponentParameters(ai.libs.jaicore.components.model.ComponentInstance componentInstance)
static java.util.Map<ai.libs.jaicore.components.api.IParameter,ai.libs.jaicore.components.api.IParameterDomain>
getUpdatedDomainsOfComponentParameters(ai.libs.jaicore.logic.fol.structure.Monom state, ai.libs.jaicore.components.api.IComponent component, java.lang.String objectIdentifierInState)
-
-
-
Method Detail
-
getNumberOfUnparametrizedSolutions
public static int getNumberOfUnparametrizedSolutions(ai.libs.jaicore.components.model.SoftwareConfigurationProblem<?> problem)
-
getSearchProblem
public static <N,A> org.api4.java.ai.graphsearch.problem.IPathSearchInput<N,A> getSearchProblem(java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, java.lang.String requiredInterface, ai.libs.jaicore.components.api.INumericParameterRefinementConfigurationMap paramRefinementConfig, IHASCOPlanningReduction<N,A> plan2searchReduction)
-
getPlannigProblem
public static <V extends java.lang.Comparable<V>> ai.libs.jaicore.planning.hierarchical.problems.htn.CostSensitiveHTNPlanningProblem<ai.libs.jaicore.planning.hierarchical.problems.ceocipstn.CEOCIPSTNPlanningProblem,V> getPlannigProblem(ai.libs.jaicore.components.model.RefinementConfiguredSoftwareConfigurationProblem<V> problem)
-
getSearchProblemWithEvaluation
public static <N,A,V extends java.lang.Comparable<V>> org.api4.java.ai.graphsearch.problem.IPathSearchWithPathEvaluationsInput<N,A,V> getSearchProblemWithEvaluation(ai.libs.jaicore.components.model.RefinementConfiguredSoftwareConfigurationProblem<V> problem, IHASCOPlanningReduction<N,A> plan2searchReduction)
-
getSearchProblemWithEvaluation
public static <N,A,V extends java.lang.Comparable<V>> org.api4.java.ai.graphsearch.problem.IPathSearchWithPathEvaluationsInput<N,A,V> getSearchProblemWithEvaluation(ai.libs.jaicore.planning.hierarchical.problems.htn.CostSensitiveHTNPlanningProblem<ai.libs.jaicore.planning.hierarchical.problems.ceocipstn.CEOCIPSTNPlanningProblem,V> planningProblem, IHASCOPlanningReduction<N,A> plan2searchReduction)
-
getParameterContainerMap
public static java.util.Map<java.lang.String,java.lang.String> getParameterContainerMap(ai.libs.jaicore.logic.fol.structure.Monom state, java.lang.String objectName)
- Parameters:
state
-objectName
-- Returns:
-
getParametrizations
public static java.util.Map<ai.libs.jaicore.components.model.ComponentInstance,java.util.Map<ai.libs.jaicore.components.api.IParameter,java.lang.String>> getParametrizations(ai.libs.jaicore.logic.fol.structure.Monom state, java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, boolean resolveIntervals)
-
getOverwrittenDatacontainersInState
public static java.util.Collection<java.lang.String> getOverwrittenDatacontainersInState(ai.libs.jaicore.logic.fol.structure.Monom state)
-
getClosedDatacontainersInState
public static java.util.Collection<java.lang.String> getClosedDatacontainersInState(ai.libs.jaicore.logic.fol.structure.Monom state)
-
getGroundComponentsFromState
public static java.util.Map<java.lang.String,ai.libs.jaicore.components.model.ComponentInstance> getGroundComponentsFromState(ai.libs.jaicore.logic.fol.structure.Monom state, java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, boolean resolveIntervals)
-
getSolutionCompositionForNode
public static <N,A,V extends java.lang.Comparable<V>> ai.libs.jaicore.components.model.ComponentInstance getSolutionCompositionForNode(IHASCOPlanningReduction<N,A> planningGraphDeriver, java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.search.model.travesaltree.BackPointerPath<N,A,?> path, boolean resolveIntervals)
-
getComponentInstanceForNode
public static <N,A,V extends java.lang.Comparable<V>> ai.libs.jaicore.components.model.ComponentInstance getComponentInstanceForNode(IHASCOPlanningReduction<N,A> planningGraphDeriver, java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.search.model.travesaltree.BackPointerPath<N,A,?> path, java.lang.String name, boolean resolveIntervals)
-
getFinalStateOfPlan
public static ai.libs.jaicore.logic.fol.structure.Monom getFinalStateOfPlan(ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.planning.core.interfaces.IPlan plan)
-
getSolutionCompositionForPlan
public static ai.libs.jaicore.components.model.ComponentInstance getSolutionCompositionForPlan(java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.planning.core.interfaces.IPlan plan, boolean resolveIntervals)
-
getComponentInstanceForPlan
public static ai.libs.jaicore.components.model.ComponentInstance getComponentInstanceForPlan(java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.planning.core.interfaces.IPlan plan, java.lang.String name, boolean resolveIntervals)
-
getSolutionCompositionFromState
public static ai.libs.jaicore.components.model.ComponentInstance getSolutionCompositionFromState(java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, ai.libs.jaicore.logic.fol.structure.Monom state, boolean resolveIntervals)
-
getComponentInstanceFromState
public static ai.libs.jaicore.components.model.ComponentInstance getComponentInstanceFromState(java.util.Collection<? extends ai.libs.jaicore.components.api.IComponent> components, ai.libs.jaicore.logic.fol.structure.Monom state, java.lang.String name, boolean resolveIntervals)
-
getUpdatedDomainsOfComponentParameters
public static java.util.Map<ai.libs.jaicore.components.api.IParameter,ai.libs.jaicore.components.api.IParameterDomain> getUpdatedDomainsOfComponentParameters(ai.libs.jaicore.logic.fol.structure.Monom state, ai.libs.jaicore.components.api.IComponent component, java.lang.String objectIdentifierInState)
-
getUpdatedDomainsOfComponentParameters
public static java.util.Map<ai.libs.jaicore.components.api.IParameter,ai.libs.jaicore.components.api.IParameterDomain> getUpdatedDomainsOfComponentParameters(ai.libs.jaicore.components.model.ComponentInstance componentInstance)
-
-