public class Util
extends java.lang.Object
| 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>> |
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>> |
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) |
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)
public static java.util.Collection<java.lang.String> getOverwrittenDatacontainersInState(ai.libs.jaicore.logic.fol.structure.Monom state)
public static java.util.Collection<java.lang.String> getClosedDatacontainersInState(ai.libs.jaicore.logic.fol.structure.Monom state)
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)
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)
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)
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)
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)
public static ComponentInstance getSolutionCompositionFromState(java.util.Collection<Component> components, ai.libs.jaicore.logic.fol.structure.Monom state, boolean resolveIntervals)
public static ComponentInstance getComponentInstanceFromState(java.util.Collection<Component> components, ai.libs.jaicore.logic.fol.structure.Monom state, java.lang.String name, boolean resolveIntervals)
public static java.util.List<ComponentInstance> getComponentInstancesOfComposition(ComponentInstance composition)
composition - public static java.lang.String getComponentNamesOfComposition(ComponentInstance composition)
composition - public static java.util.List<Component> getComponentsOfComposition(ComponentInstance composition)
composition - public static java.util.Map<Parameter,IParameterDomain> getUpdatedDomainsOfComponentParameters(ai.libs.jaicore.logic.fol.structure.Monom state, Component component, java.lang.String objectIdentifierInState)
public static java.util.Map<Parameter,IParameterDomain> getUpdatedDomainsOfComponentParameters(ComponentInstance componentInstance)
public static boolean isDependencyPremiseSatisfied(Dependency dependency, java.util.Map<Parameter,IParameterDomain> values)
public static boolean isDependencyConditionSatisfied(java.util.Collection<ai.libs.jaicore.basic.sets.Pair<Parameter,IParameterDomain>> condition, java.util.Map<Parameter,IParameterDomain> values)
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)
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)
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)
public static void refineRecursively(org.apache.commons.math3.geometry.euclidean.oned.Interval interval,
int maxNumberOfSubIntervalsPerRefinement,
double basis,
double pointOfConcentration,
double factorForMaximumLengthOfFinestIntervals)