Class 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.ComponentInstance
      getComponentInstanceForNode​(IHASCOPlanningReduction<N,​A> planningGraphDeriver, java.util.Collection<ai.libs.jaicore.components.model.Component> 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<ai.libs.jaicore.components.model.Component> 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<ai.libs.jaicore.components.model.Component> 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<ai.libs.jaicore.components.model.Component> components, boolean resolveIntervals)  
      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.model.Parameter,​java.lang.String>> getParametrizations​(ai.libs.jaicore.logic.fol.structure.Monom state, java.util.Collection<ai.libs.jaicore.components.model.Component> 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<ai.libs.jaicore.components.model.Component> components, java.lang.String requiredInterface, java.util.Map<ai.libs.jaicore.components.model.Component,​java.util.Map<ai.libs.jaicore.components.model.Parameter,​ai.libs.jaicore.components.model.ParameterRefinementConfiguration>> 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.ComponentInstance
      getSolutionCompositionForNode​(IHASCOPlanningReduction<N,​A> planningGraphDeriver, java.util.Collection<ai.libs.jaicore.components.model.Component> 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<ai.libs.jaicore.components.model.Component> 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<ai.libs.jaicore.components.model.Component> components, ai.libs.jaicore.logic.fol.structure.Monom state, boolean resolveIntervals)  
      static java.util.Map<ai.libs.jaicore.components.model.Parameter,​ai.libs.jaicore.components.model.IParameterDomain> getUpdatedDomainsOfComponentParameters​(ai.libs.jaicore.components.model.ComponentInstance componentInstance)  
      static java.util.Map<ai.libs.jaicore.components.model.Parameter,​ai.libs.jaicore.components.model.IParameterDomain> getUpdatedDomainsOfComponentParameters​(ai.libs.jaicore.logic.fol.structure.Monom state, ai.libs.jaicore.components.model.Component component, java.lang.String objectIdentifierInState)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Method Detail

      • getSearchProblem

        public static <N,​A> org.api4.java.ai.graphsearch.problem.IPathSearchInput<N,​A> getSearchProblem​(java.util.Collection<ai.libs.jaicore.components.model.Component> components,
                                                                                                                    java.lang.String requiredInterface,
                                                                                                                    java.util.Map<ai.libs.jaicore.components.model.Component,​java.util.Map<ai.libs.jaicore.components.model.Parameter,​ai.libs.jaicore.components.model.ParameterRefinementConfiguration>> 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.model.Parameter,​java.lang.String>> getParametrizations​(ai.libs.jaicore.logic.fol.structure.Monom state,
                                                                                                                                                                                                   java.util.Collection<ai.libs.jaicore.components.model.Component> 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<ai.libs.jaicore.components.model.Component> 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<ai.libs.jaicore.components.model.Component> 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<ai.libs.jaicore.components.model.Component> 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<ai.libs.jaicore.components.model.Component> 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<ai.libs.jaicore.components.model.Component> 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<ai.libs.jaicore.components.model.Component> components,
                                                                                                         ai.libs.jaicore.logic.fol.structure.Monom state,
                                                                                                         boolean resolveIntervals)
      • getComponentInstanceFromState

        public static ai.libs.jaicore.components.model.ComponentInstance getComponentInstanceFromState​(java.util.Collection<ai.libs.jaicore.components.model.Component> 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.model.Parameter,​ai.libs.jaicore.components.model.IParameterDomain> getUpdatedDomainsOfComponentParameters​(ai.libs.jaicore.logic.fol.structure.Monom state,
                                                                                                                                                                               ai.libs.jaicore.components.model.Component component,
                                                                                                                                                                               java.lang.String objectIdentifierInState)
      • getUpdatedDomainsOfComponentParameters

        public static java.util.Map<ai.libs.jaicore.components.model.Parameter,​ai.libs.jaicore.components.model.IParameterDomain> getUpdatedDomainsOfComponentParameters​(ai.libs.jaicore.components.model.ComponentInstance componentInstance)