boolean[] positive
boolean[] domain
java.util.Vector<E> currentModels
int BVIDs
int maxVars
int maxClauses
boolean enumerateModels
BooleanDomain domain
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
java.io.IOExceptionjava.lang.ClassNotFoundExceptionjava.util.HashSet<E> solversToSkip
boolean masked
int id
Variable[] scope
java.lang.Object annotation
boolean autoRemovable
java.awt.Paint color
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
java.io.IOExceptionjava.lang.ClassNotFoundExceptionprivate void writeObject(java.io.ObjectOutputStream out)
throws java.io.IOException
java.io.IOExceptionjava.util.List<E> listeners
java.util.HashMap<K,V> domainValueChoiceFunctions
ConstraintSolver solver
edu.uci.ics.jung.graph.ObservableGraph<V,E> graph
edu.uci.ics.jung.graph.DirectedSparseMultigraph<V,E> g
java.util.HashMap<K,V> variables
java.util.HashMap<K,V> variablesR
java.util.HashMap<K,V> substitutions
java.util.HashMap<K,V> substituted
java.util.HashMap<K,V> hyperEdges
double weight
ConstraintNetworkMarking marking
int ID
ConstraintNetwork dispatcher
ConstraintNetwork added
ConstraintNetwork removed
java.lang.String networkState
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
java.io.IOExceptionjava.lang.ClassNotFoundExceptionprivate void writeObject(java.io.ObjectOutputStream out)
throws java.io.IOException
java.io.IOExceptionjava.lang.Class<T>[] constraintTypes
java.lang.Class<T> variableType
int IDs
java.lang.String name
ConstraintNetwork theNetwork
boolean autoprop
boolean noPropOnVarCreation
boolean domainsAutoInstantiated
boolean skipPropagation
boolean domainsInstantiated
java.util.HashMap<K,V> components
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
java.io.IOExceptionjava.lang.ClassNotFoundExceptionVariable myVariable
java.lang.String defaultValueChoiceFunction
java.lang.String edgeLabel
java.lang.String label
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
java.io.IOExceptionjava.lang.ClassNotFoundExceptionprivate void writeObject(java.io.ObjectOutputStream out)
throws java.io.IOException
java.io.IOExceptionVariable[] dependentVariables
int id
java.lang.Object marking
java.awt.Paint color
MultiVariable parentVariable
ConstraintSolver solver
java.lang.Object[] parameters
VariableOrderingH varOH
ValueOrderingH valOH
MetaConstraintSolver metaCS
boolean independentMC
java.util.Vector<E> metaConstraints
edu.uci.ics.jung.graph.DelegateForest<V,E> g
MetaVariable currentVertex
boolean breakSearch
java.util.HashMap<K,V> metaVarsToMetaCons
java.util.HashMap<K,V> resolvers
java.util.HashMap<K,V> resolversInverseMapping
long animationTime
int counterMoves
FocusConstraint currentFocus
java.util.Vector<E> backedUpCNs
boolean timeout
MetaConstraint[] myMetaCons
ConstraintOrderingH myConstraintOrderingH
Constraint[] constraints
boolean propagateImmediately
boolean allowInconsistencies
ConstraintSolver[] constraintSolvers
int[] ingredients
java.util.HashMap<K,V> newConstraintMapping
Domain[] domains
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
java.io.IOExceptionjava.lang.ClassNotFoundExceptionprivate void writeObject(java.io.ObjectOutputStream out)
throws java.io.IOException
java.io.IOExceptionConstraintSolver[] internalSolvers
Variable[] variables
Constraint[] constraints
int IDs
double globalPossibilityDegree
java.util.Vector<E> subs
int numVars
java.util.Vector<E> subVariables
boolean isSubGraph
java.util.HashMap<K,V> varIndex
Constraint[] crispCons
java.util.HashMap<K,V> theDomain
FuzzySymbolicDomain dom
FuzzySymbolicDomain backupDom
java.util.Vector<E> subs
int SVIDs
java.util.Vector<E> allConPosib
java.util.HashMap<K,V> orderHash
double possibilityDegree
java.util.Vector<E> falseConstraint
java.util.Vector<E> rules
FuzzyActivityNetworkSolver solver
java.util.Vector<E> ongoignActs
java.util.Vector<E> truthMaintenanceConstraints
java.util.HashMap<K,V> timelines
java.util.HashMap<K,V> ruleHeads
java.util.Vector<E> fas
java.util.Vector<E> groundActivity
java.util.Vector<E> heads
java.util.Vector<E> toSkip
double upperBound
double lowerBound
double tmpLoweBound
double upperBound
double lowerBound
double tmpLoweBound
ConstraintNetwork cn
ConstraintNetwork optCn
double valueConsistency
double temporalConsistency
double vcTmp
double tcTmp
boolean addedNegationofInitialsituation
java.util.Vector<E> objParams
long timeNow
boolean activeFreeArmHeuristic
ManipulationAreaDomain manipulationAreaDomain
int pad
boolean freeArmHeuristic
long beforeParameter
long origin
long horizon
java.util.Vector<E> sAssertionalRels
SpatialRule[] rules
java.util.HashMap<K,V> permutation
java.util.Vector<E> initialUnboundedObjName
java.util.Vector<E> potentialCulprit
java.util.HashMap<K,V> currentAssertionalCons
java.util.HashMap<K,V> oldRectangularRegion
long totalTime
java.util.Vector<E> conflictTracking
SimpleReusableResource manAreaResource
int numberOfmisplaced
int beforeParameter
MetaSpatialAdherenceConstraint.PEAKCOLLECTION peakCollectionStrategy
long beforeParameter
long horizon
java.util.Vector<E> operatorsAlongBranch
java.util.Vector<E> unificationAlongBranch
java.util.Vector<E> goals
java.util.Vector<E> varInvolvedInOccupiedMetaConstraints
boolean learningFromfailure
java.util.HashMap<K,V> observation
java.util.HashMap<K,V> conflictRanking
java.util.Vector<E> observedSpatialFluents
java.lang.String manipulationAreaEncoding
SimpleHybridPlanner planner
FluentBasedSimpleDomain domain
boolean triggered
java.util.HashMap<K,V> oldInferences
long timeNow
java.util.Vector<E> operators
java.lang.String[] resourceNames
java.util.HashMap<K,V> resourcesMap
java.util.HashMap<K,V> currentResourceUtilizers
java.lang.String everything
long filteringTime
java.lang.String name
java.util.Vector<E> sensors
java.util.Vector<E> actuators
java.util.Vector<E> contextVars
java.util.HashMap<K,V> operatorsLevels
java.util.HashMap<K,V> unificationTrack
java.util.Vector<E> timelines
SimplePlanner planner
ProactivePlanningDomain domain
int capacity
SimpleDomain rd
java.lang.String name
java.util.HashMap<K,V> refinedWith
int BTcounter
double distanceThreshold
int capacity
long beforeParameter
java.util.Vector<E> activities
Schedulable.PEAKCOLLECTION peakCollectionStrategy
Interval[][] reachability
java.lang.String[] states
int IDs
long origin
long horizon
java.lang.String[] symbols
java.lang.String name
Bounds[] bounds
AllenIntervalConstraint.Type[] types
java.util.ArrayList<E> activityNetworkRollback
java.lang.String name
java.util.Vector<E> dependencies
boolean isHypothesis
int IDs
int IDs
long origin
long horizon
com.vividsolutions.jts.geom.Coordinate[] coordinates
AllenIntervalConstraint xConstraint
AllenIntervalConstraint yConstraint
AllenIntervalConstraint zConstraint
AllenIntervalConstraint.Type[][] types
int IDs
java.util.HashMap<K,V> getVaribaleById
OntologicalSpatialProperty ontologicalProp
java.lang.String name
UnaryBlockConstraint.Type type
Bounds[] bounds
DE9IMRelation.Type[] types
Constraint[] addedConstraints
boolean removedConstraints
boolean addedVariables
boolean removedVariables
com.vividsolutions.jts.geom.Geometry geom
GeometricShapeDomain dom
AllenIntervalConstraint xConstraint
AllenIntervalConstraint yConstraint
AllenIntervalConstraint.Type[][] types
int IDs
long horizon
java.util.Vector<E> filteringboxes
java.util.HashMap<K,V> getVaribaleById
OntologicalSpatialProperty ontologicalProp
java.lang.String name
UnaryRectangleConstraint.Type type
Bounds[] bounds
double x
double y
double z
double roll
double pitch
double yaw
Pose pose
double steering
double x
double y
double z
double w
PoseSteering[] psa
double[] dts
int sequenceNumberStart
int sequenceNumberEnd
Trajectory trajectory
boolean refinable
TrajectoryEnvelope superEnvelope
java.util.ArrayList<E> subEnvelopes
int robotID
com.vividsolutions.jts.geom.Polygon footprint
com.vividsolutions.jts.geom.Polygon innerFootprint
int sequenceNumberStart
int sequenceNumberEnd
AllenIntervalConstraint duration
SymbolicValueConstraint.Type type
boolean[] unaryValue
java.lang.String[] unaryValueStrings
java.lang.String[] nonSolverDomain
int IDs
java.lang.String[] symbols
boolean singleValue
boolean enumerateSets
java.util.HashSet<E> toMask
Bounds[] intervals
MultiTimePoint source
MultiTimePoint sink
java.lang.String name
java.lang.String name
int IDs
int IDs
ActivityNetworkSolver ans
ConstraintNetwork cn
java.lang.String name
SymbolicVariableActivity future
Activity currentAct
AllenIntervalConstraint currentMeetsFuture
ConstraintNetworkAnimator animator
CardinalConstraint.Type[] types
GeometricConstraint.Type type
java.util.HashMap<K,V> constraintTrack
Variable[] obstacles
Vec2[] vertices
RCCConstraint.Type[] types
int IDs
java.util.HashMap<K,V> getVaribaleById
int width
int height
java.lang.String[] intervalName
Domain dom
java.lang.String configurationName
Domain dom
ReachabilityConstraint.Type[] types
int IDs
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
java.io.IOExceptionjava.lang.ClassNotFoundExceptionprivate void writeObject(java.io.ObjectOutputStream out)
throws java.io.IOException
java.io.IOExceptionboolean doFromScratchInsteadOfIncremental
boolean addingIndependentConstraints
boolean backupDMatrixSimple
int cubePropCount
int quadPropCount
int MAX_TPS
TimePoint[] tPoints
int MAX_USED
long[][] distance
long[][] distanceBackupInternal
java.util.Vector<E> backups
java.util.Vector<E> backupConstraints
java.util.Vector<E> backupMaxUsed
java.util.ArrayList<E> tPointsRollback
java.util.ArrayList<E> distanceRollback
java.util.ArrayList<E> maxUsedRollback
java.util.ArrayList<E> networkRollback
long H
SimpleDistanceConstraint horizonConstraint
long O
int tpCounter
double[] rigidity
long min
long max
Bounds bounds
long minimum
long maximum
java.util.List<E> bs
SimpleDistanceConstraint[] out
boolean used
long lowerBound
long upperBound
QualitativeAllenIntervalConstraint.Type[] types
int IDs
ConstraintNetwork completeNetwork
boolean successfulPropagation
Domain dom
java.lang.String intervalName
javax.swing.JTabbedPane tabbedPane1
javax.swing.JTabbedPane tabbedPane2
java.awt.event.KeyListener kl
javax.swing.JPanel panel
javax.swing.ImageIcon icon
java.awt.image.BufferedImage image
TimelinePublisher tp
edu.uci.ics.jung.graph.ObservableGraph<V,E> g
edu.uci.ics.jung.visualization.VisualizationViewer<V,E> vv
edu.uci.ics.jung.algorithms.layout.AbstractLayout<V,E> layout
boolean done
javax.swing.JButton switchLayout
javax.swing.JButton performOperation
edu.uci.ics.jung.visualization.util.Animator animator
edu.uci.ics.jung.visualization.layout.LayoutTransition<V,E> lt
edu.uci.ics.jung.graph.DelegateTree<V,E> g
edu.uci.ics.jung.visualization.VisualizationViewer<V,E> vv
edu.uci.ics.jung.algorithms.layout.TreeLayout<V,E> layout
edu.uci.ics.jung.graph.DelegateTree<V,E> g
edu.uci.ics.jung.visualization.VisualizationViewer<V,E> vv
edu.uci.ics.jung.algorithms.layout.TreeLayout<V,E> layout
int numRobots
java.awt.Color digitColor2
java.awt.Color transpColor
boolean ttc
int size
org.metacsp.utility.UI.DigitalClock.DigitalNumber h1
org.metacsp.utility.UI.DigitalClock.DigitalNumber h2
org.metacsp.utility.UI.DigitalClock.DigitalNumber m1
org.metacsp.utility.UI.DigitalClock.DigitalNumber m2
org.metacsp.utility.UI.DigitalClock.DigitalNumber s1
org.metacsp.utility.UI.DigitalClock.DigitalNumber s2
boolean pulse
java.lang.Thread th
java.util.Date completionDate
java.lang.String hS
java.lang.String mS
java.lang.String sS
java.text.SimpleDateFormat formatterHH
java.text.SimpleDateFormat formattermm
java.text.SimpleDateFormat formatterss
java.util.TreeMap<K,V> currentRobotTasks
edu.uci.ics.jung.graph.ObservableGraph<V,E> g
edu.uci.ics.jung.visualization.VisualizationViewer<V,E> vv
edu.uci.ics.jung.algorithms.layout.AbstractLayout<V,E> layout
java.util.Timer timer
boolean done
javax.swing.JButton switchLayout
edu.uci.ics.jung.graph.ObservableGraph<V,E> g
edu.uci.ics.jung.visualization.VisualizationViewer<V,E> vv
edu.uci.ics.jung.algorithms.layout.AbstractLayout<V,E> layout
boolean done
javax.swing.JButton switchLayout
java.util.HashMap<K,V> geometries
java.util.HashMap<K,V> geometryAges
java.util.HashMap<K,V> emptyGeoms
java.util.HashMap<K,V> thickGeoms
java.util.HashMap<K,V> transpGeoms
java.util.HashMap<K,V> polyColors
java.awt.geom.AffineTransform geomToScreen
double scale
double userScale
java.awt.geom.AffineTransform panTrans
java.util.logging.Logger metacsplogger
java.awt.image.BufferedImage map
double mapResolution
double mapX
double mapY
java.util.HashSet<E> permanentGeometries
boolean transformTouched
TweenableEnvelope currentGeomBounds
TweenableEnvelope oldGeomBounds
aurelienribon.tweenengine.TweenManager tweenManager
long lastUpdateTime
boolean smoothTransitions
de.erichseifert.vectorgraphics2d.VectorGraphics2D vg2d
boolean dumpPDF
java.lang.String dumpFileName
boolean dumpSVG
boolean dumpEPS
double targetTextSize
double targetArrowHeadWidth
DigitalClock dc
org.jfree.chart.ChartPanel chartPanel
ActivityNetworkSolver solver
java.util.Vector<E> selectedVariables
Timeline stl
java.lang.Long[] startTimes
java.lang.Long[] durations
java.lang.Object[] values
boolean first
boolean last
org.jfree.chart.JFreeChart chart
java.lang.String title
java.lang.String name
int xsize
org.jfree.data.Range range
boolean showlabels
long k
APSPSolver tm
prefuse.data.Graph graph
prefuse.Visualization vis
org.metacsp.utility.UI.PlotSTPTemporalModule.TwoSpringForceLayout tsfdl
prefuse.controls.DragControl dc
java.util.ArrayList<E> nodeIndices
java.util.ArrayList<E> lbubPositions
java.util.ArrayList<E> lbubLabels
double mult
int step
java.awt.Dimension dim
float zoom
float zoomInv
float deltaX
float deltaY
float xSpan
float ySpan
int paddingPixels
int originX
int originY
float canvasStartX
float canvasStartY
float canvasEndX
float canvasEndY
java.util.HashMap<K,V> colors
java.util.HashMap<K,V> centers
java.util.HashMap<K,V> drawablePolys
Variable[] polys
Constraint[] cons
ConstraintNetwork cn
edu.uci.ics.jung.graph.Forest<V,E> graph
edu.uci.ics.jung.visualization.VisualizationViewer<V,E> vv
edu.uci.ics.jung.visualization.VisualizationServer.Paintable rings
java.lang.String root
edu.uci.ics.jung.algorithms.layout.TreeLayout<V,E> treeLayout
edu.uci.ics.jung.algorithms.layout.RadialTreeLayout<V,E> radialLayout
edu.uci.ics.jung.graph.DelegateTree<V,E> g
edu.uci.ics.jung.visualization.VisualizationViewer<V,E> vv
edu.uci.ics.jung.algorithms.layout.TreeLayout<V,E> layout
float minX
float maxX
float minY
float maxY
edu.uci.ics.jung.graph.DelegateTree<V,E> g
edu.uci.ics.jung.visualization.VisualizationViewer<V,E> vv
edu.uci.ics.jung.algorithms.layout.TreeLayout<V,E> layout