Package ai.libs.hasco.core
Class Util
- java.lang.Object
-
- ai.libs.hasco.core.Util
-
public class Util extends java.lang.Object
-
-
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>>
ComponentInstancegetComponentInstanceForNode(IHASCOPlanningReduction<N,A> planningGraphDeriver, java.util.Collection<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 ComponentInstance
getComponentInstanceForPlan(java.util.Collection<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 ComponentInstance
getComponentInstanceFromState(java.util.Collection<Component> components, ai.libs.jaicore.logic.fol.structure.Monom state, java.lang.String name, boolean resolveIntervals)
static java.util.List<ComponentInstance>
getComponentInstancesOfComposition(ComponentInstance composition)
Computes a list of all component instances of the given composition.static java.lang.String
getComponentNamesOfComposition(ComponentInstance composition)
Computes a String of component names that appear in the composition which can be used as an identifier for the compositionstatic java.util.List<Component>
getComponentsOfComposition(ComponentInstance composition)
Computes a list of all components of the given composition.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.List<org.apache.commons.math3.geometry.euclidean.oned.Interval>
getNumericParameterRefinement(org.apache.commons.math3.geometry.euclidean.oned.Interval interval, double focus, boolean integer, ParameterRefinementConfiguration refinementConfig)
static java.util.Collection<java.lang.String>
getOverwrittenDatacontainersInState(ai.libs.jaicore.logic.fol.structure.Monom state)
static java.util.Map<ComponentInstance,java.util.Map<Parameter,java.lang.String>>
getParametrizations(ai.libs.jaicore.logic.fol.structure.Monom state, java.util.Collection<Component> components, boolean resolveIntervals)
static <N,A,V extends java.lang.Comparable<V>>
ComponentInstancegetSolutionCompositionForNode(IHASCOPlanningReduction<N,A> planningGraphDeriver, java.util.Collection<Component> components, ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.search.model.travesaltree.BackPointerPath<N,A,?> path, boolean resolveIntervals)
static ComponentInstance
getSolutionCompositionForPlan(java.util.Collection<Component> components, ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.planning.core.interfaces.IPlan plan, boolean resolveIntervals)
static ComponentInstance
getSolutionCompositionFromState(java.util.Collection<Component> components, ai.libs.jaicore.logic.fol.structure.Monom state, boolean resolveIntervals)
static java.util.Map<Parameter,IParameterDomain>
getUpdatedDomainsOfComponentParameters(ComponentInstance componentInstance)
static java.util.Map<Parameter,IParameterDomain>
getUpdatedDomainsOfComponentParameters(ai.libs.jaicore.logic.fol.structure.Monom state, Component component, java.lang.String objectIdentifierInState)
static boolean
isDependencyConditionSatisfied(java.util.Collection<ai.libs.jaicore.basic.sets.Pair<Parameter,IParameterDomain>> condition, java.util.Map<Parameter,IParameterDomain> values)
static boolean
isDependencyPremiseSatisfied(Dependency dependency, java.util.Map<Parameter,IParameterDomain> values)
static java.util.List<org.apache.commons.math3.geometry.euclidean.oned.Interval>
refineOnLinearScale(org.apache.commons.math3.geometry.euclidean.oned.Interval interval, int maxNumberOfSubIntervals, double minimumLengthOfIntervals)
static java.util.List<org.apache.commons.math3.geometry.euclidean.oned.Interval>
refineOnLogScale(org.apache.commons.math3.geometry.euclidean.oned.Interval interval, int n, double basis, double pointOfConcentration)
static void
refineRecursively(org.apache.commons.math3.geometry.euclidean.oned.Interval interval, int maxNumberOfSubIntervalsPerRefinement, double basis, double pointOfConcentration, double factorForMaximumLengthOfFinestIntervals)
-
-
-
Method Detail
-
getParametrizations
public static java.util.Map<ComponentInstance,java.util.Map<Parameter,java.lang.String>> getParametrizations(ai.libs.jaicore.logic.fol.structure.Monom state, java.util.Collection<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)
-
getSolutionCompositionForNode
public static <N,A,V extends java.lang.Comparable<V>> ComponentInstance getSolutionCompositionForNode(IHASCOPlanningReduction<N,A> planningGraphDeriver, java.util.Collection<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>> ComponentInstance getComponentInstanceForNode(IHASCOPlanningReduction<N,A> planningGraphDeriver, java.util.Collection<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 ComponentInstance getSolutionCompositionForPlan(java.util.Collection<Component> components, ai.libs.jaicore.logic.fol.structure.Monom initState, ai.libs.jaicore.planning.core.interfaces.IPlan plan, boolean resolveIntervals)
-
getComponentInstanceForPlan
public static ComponentInstance getComponentInstanceForPlan(java.util.Collection<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 ComponentInstance getSolutionCompositionFromState(java.util.Collection<Component> components, ai.libs.jaicore.logic.fol.structure.Monom state, boolean resolveIntervals)
-
getComponentInstanceFromState
public static ComponentInstance getComponentInstanceFromState(java.util.Collection<Component> components, ai.libs.jaicore.logic.fol.structure.Monom state, java.lang.String name, boolean resolveIntervals)
-
getComponentInstancesOfComposition
public static java.util.List<ComponentInstance> getComponentInstancesOfComposition(ComponentInstance composition)
Computes a list of all component instances of the given composition.- Parameters:
composition
-- Returns:
- List of components in right to left depth-first order
-
getComponentNamesOfComposition
public static java.lang.String getComponentNamesOfComposition(ComponentInstance composition)
Computes a String of component names that appear in the composition which can be used as an identifier for the composition- Parameters:
composition
-- Returns:
- String of all component names in right to left depth-first order
-
getComponentsOfComposition
public static java.util.List<Component> getComponentsOfComposition(ComponentInstance composition)
Computes a list of all components of the given composition.- Parameters:
composition
-- Returns:
- List of components in right to left depth-first order
-
getUpdatedDomainsOfComponentParameters
public static java.util.Map<Parameter,IParameterDomain> getUpdatedDomainsOfComponentParameters(ai.libs.jaicore.logic.fol.structure.Monom state, Component component, java.lang.String objectIdentifierInState)
-
getUpdatedDomainsOfComponentParameters
public static java.util.Map<Parameter,IParameterDomain> getUpdatedDomainsOfComponentParameters(ComponentInstance componentInstance)
-
isDependencyPremiseSatisfied
public static boolean isDependencyPremiseSatisfied(Dependency dependency, java.util.Map<Parameter,IParameterDomain> values)
-
isDependencyConditionSatisfied
public static boolean isDependencyConditionSatisfied(java.util.Collection<ai.libs.jaicore.basic.sets.Pair<Parameter,IParameterDomain>> condition, java.util.Map<Parameter,IParameterDomain> values)
-
getNumericParameterRefinement
public static java.util.List<org.apache.commons.math3.geometry.euclidean.oned.Interval> getNumericParameterRefinement(org.apache.commons.math3.geometry.euclidean.oned.Interval interval, double focus, boolean integer, ParameterRefinementConfiguration refinementConfig)
-
refineOnLinearScale
public static java.util.List<org.apache.commons.math3.geometry.euclidean.oned.Interval> refineOnLinearScale(org.apache.commons.math3.geometry.euclidean.oned.Interval interval, int maxNumberOfSubIntervals, double minimumLengthOfIntervals)
-
refineOnLogScale
public static java.util.List<org.apache.commons.math3.geometry.euclidean.oned.Interval> refineOnLogScale(org.apache.commons.math3.geometry.euclidean.oned.Interval interval, int n, double basis, double pointOfConcentration)
-
refineRecursively
public static void refineRecursively(org.apache.commons.math3.geometry.euclidean.oned.Interval interval, int maxNumberOfSubIntervalsPerRefinement, double basis, double pointOfConcentration, double factorForMaximumLengthOfFinestIntervals)
-
-