ai.libs.hasco.core

Class Util

java.lang.Object

ai.libs.hasco.core.Util

public class Util
extends java.lang.Object

Method Summary

Modifier and Type	Method and 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>> 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.Node<N,?> 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 composition
static 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>> 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.Node<N,?> 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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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.Node<N,?> 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.Node<N,?> 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)