org.metacsp.meta.hybridPlanner

Class SimpleHybridPlanner

java.lang.Object

org.metacsp.framework.ConstraintSolver

org.metacsp.framework.multi.MultiConstraintSolver

org.metacsp.framework.meta.MetaConstraintSolver

org.metacsp.meta.hybridPlanner.SimpleHybridPlanner

All Implemented Interfaces:

java.io.Serializable

public class SimpleHybridPlanner
extends MetaConstraintSolver

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.metacsp.framework.meta.MetaConstraintSolver

MetaConstraintSolver.TerminalNode

Nested classes/interfaces inherited from class org.metacsp.framework.multi.MultiConstraintSolver

MultiConstraintSolver.OPTIONS

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Vector<SimpleOperator>	operatorsAlongBranch
java.util.Vector<java.lang.String>	unificationAlongBranch

Fields inherited from class org.metacsp.framework.meta.MetaConstraintSolver

animationTime, breakSearch, counterMoves, currentFocus, currentVertex, g, metaConstraints, metaVarsToMetaCons, resolvers, resolversInverseMapping

Fields inherited from class org.metacsp.framework.multi.MultiConstraintSolver

constraintSolvers, ingredients

Fields inherited from class org.metacsp.framework.ConstraintSolver

autoprop, components, constraintTypes, IDs, logger, name, nesting, noPropOnVarCreation, numcalls, skipPropagation, spacing, theNetwork, variableType

Constructor Summary

Constructors

Constructor and Description
SimpleHybridPlanner(long origin, long horizon, long animationTime)

Method Summary

Modifier and Type	Method and Description
void	addGoal(SymbolicVariableActivity act)
void	addObservation(java.util.HashMap<java.lang.String,java.awt.Rectangle> observation)
void	addObservedSpatialFluents(SpatialFluent observedSpatialFluent)
protected boolean	addResolverSub(ConstraintNetwork metaVariable, ConstraintNetwork metaValue) Implement this method to define any additional operations that should happen before adding a meta-value in the meta-CSP search (e.g., when branching).
java.util.HashMap<java.lang.String,java.lang.Integer>	getConflictRanking()
java.util.Vector<SymbolicVariableActivity>	getGoals()
protected double	getLowerBound()
java.lang.String	getManipulationAreaEncoding()
java.util.Vector<SpatialFluent>	getObservedSpatialFluents()
java.util.HashMap<java.lang.String,BoundingBox>	getOldRectangularRegion()
protected double	getUpperBound()
protected boolean	hasConflictClause(ConstraintNetwork metaValue)
boolean	learningFromFailure()
void	postBacktrack(MetaVariable mv) Implement this method to define any extra operations that should be performed after branching over a MetaVariable.
void	preBacktrack() Implement this method to define any extra operations that should be performed before backtracking over a MetaVariable (and before it is even chosen).
protected void	resetFalseClause()
protected void	retractResolverSub(ConstraintNetwork metaVariable, ConstraintNetwork metaValue) Implement this method to define any extra operations that should happen after retracting a meta-value in the meta-CSP search (e.g., when backtracking).
protected void	setLowerBound()
void	setManipulationAreasEncoding(java.lang.String manipulationAreaEncoding)
void	setObstacles(java.util.Vector<SpatialAssertionalRelation> sAssertionalRels)
protected void	setUpperBound()

Methods inherited from class org.metacsp.framework.meta.MetaConstraintSolver

addMetaConstraint, addResolver, backtrack, branchAndBound, breakSearch, clearResolvers, draw, failurePruning, focus, getAddedResolvers, getConflict, getConstraintSolvers, getCounterMoves, getCurrentFocusConstraint, getDescription, getFocused, getGroundVariables, getMetaConstraint, getMetaConstraints, getResolvers, getResolversInverseMapping, getTimeOut, isFocused, propagate, registerValueChoiceFunctions, removeFromCurrentFocus, retractResolver, retractResolvers, setCounterMoves, setCurrentFocusConstraint, setFocus, setResolvers

Methods inherited from class org.metacsp.framework.multi.MultiConstraintSolver

addConstraintsSub, createVariablesSub, createVariablesSub, createVariablesSub, drawConstraintNetworkHierarchy, drawConstraintSolverHierarchy, getConstraintNetworkHierarchy, getConstraintNetworksFromSolverHierarchy, getConstraintSolver, getConstraintSolverHierarchy, getConstraintSolversFromConstraintSolverHierarchy, getOption, removeConstraintsSub, removeVariablesSub, setConstraintSolver, setIngredients, setOptions

Methods inherited from class org.metacsp.framework.ConstraintSolver

addConstraint, addConstraintNoPropagation, addConstraints, addConstraintsDebug, addConstraintsNoPropagation, containsVariable, createVariable, createVariable, createVariables, createVariables, deplenish, getComponent, getComponents, getConstraintNetwork, getConstraints, getConstraints, getID, getOption, getVariable, getVariables, getVariables, getVariables, isCompatible, maskConstraints, removeConstraint, removeConstraints, removeVariable, removeVariables, setComponent, setComponents, setConstraintNetwork, setName, setOptions, toString, unmaskConstraints

Methods inherited from class java.lang.Object

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

Field Detail

operatorsAlongBranch

public java.util.Vector<SimpleOperator> operatorsAlongBranch

unificationAlongBranch

public java.util.Vector<java.lang.String> unificationAlongBranch

Constructor Detail

SimpleHybridPlanner

public SimpleHybridPlanner(long origin,
                           long horizon,
                           long animationTime)

Method Detail

preBacktrack

public void preBacktrack()

Description copied from class: MetaConstraintSolver

Implement this method to define any extra operations that should be performed before backtracking over a MetaVariable (and before it is even chosen).

Specified by:

preBacktrack in class MetaConstraintSolver

postBacktrack

public void postBacktrack(MetaVariable mv)

Description copied from class: MetaConstraintSolver

Implement this method to define any extra operations that should be performed after branching over a MetaVariable.

Specified by:

postBacktrack in class MetaConstraintSolver

Parameters:

mv - The MetaVariable that has been branched upon.

learningFromFailure

public boolean learningFromFailure()

retractResolverSub

protected void retractResolverSub(ConstraintNetwork metaVariable,
                                  ConstraintNetwork metaValue)

Description copied from class: MetaConstraintSolver

Implement this method to define any extra operations that should happen after retracting a meta-value in the meta-CSP search (e.g., when backtracking).

Specified by:

retractResolverSub in class MetaConstraintSolver

Parameters:

metaVariable - The MetaVariable over which backtracking occurs.

metaValue - The meta-value that has been retracted.

addResolverSub

protected boolean addResolverSub(ConstraintNetwork metaVariable,
                                 ConstraintNetwork metaValue)

Description copied from class: MetaConstraintSolver

Implement this method to define any additional operations that should happen before adding a meta-value in the meta-CSP search (e.g., when branching).

Specified by:

addResolverSub in class MetaConstraintSolver

Parameters:

metaVariable - The MetaVariable over which the search is branching.

metaValue - The meta-value that has been selected (the branch).

Returns:

true iff the metavalue is consistent with the ground-CSP (Note: if false is returned, the ground-CSP has not been changed, i.e., it is left in a consistent state.)

getUpperBound

protected double getUpperBound()

Specified by:

getUpperBound in class MetaConstraintSolver

setUpperBound

protected void setUpperBound()

Specified by:

setUpperBound in class MetaConstraintSolver

getLowerBound

protected double getLowerBound()

Specified by:

getLowerBound in class MetaConstraintSolver

setLowerBound

protected void setLowerBound()

Specified by:

setLowerBound in class MetaConstraintSolver

hasConflictClause

protected boolean hasConflictClause(ConstraintNetwork metaValue)

Specified by:

hasConflictClause in class MetaConstraintSolver

resetFalseClause

protected void resetFalseClause()

Specified by:

resetFalseClause in class MetaConstraintSolver

getOldRectangularRegion

public java.util.HashMap<java.lang.String,BoundingBox> getOldRectangularRegion()

addGoal

public void addGoal(SymbolicVariableActivity act)

getGoals

public java.util.Vector<SymbolicVariableActivity> getGoals()

addObservation

public void addObservation(java.util.HashMap<java.lang.String,java.awt.Rectangle> observation)

addObservedSpatialFluents

public void addObservedSpatialFluents(SpatialFluent observedSpatialFluent)

getObservedSpatialFluents

public java.util.Vector<SpatialFluent> getObservedSpatialFluents()

getConflictRanking

public java.util.HashMap<java.lang.String,java.lang.Integer> getConflictRanking()

setManipulationAreasEncoding

public void setManipulationAreasEncoding(java.lang.String manipulationAreaEncoding)

getManipulationAreaEncoding

public java.lang.String getManipulationAreaEncoding()

setObstacles

public void setObstacles(java.util.Vector<SpatialAssertionalRelation> sAssertionalRels)