fr.inria.oadymppac.solver
Interface SolverMainElement

All Superinterfaces:
ChronoProvider, DepthProvider, Indexable, SolverElement, SolverManagable
All Known Subinterfaces:
Annotation, Awake, BackTo, ChoicePoint, Constraint, ConstraintEvent, EndStage, Failure, Post, Reduce, Reject, Remove, Restore, ResumeStage, Schedule, SearchNode, Solution, Solved, SolverEventElement, Stage, StageEvent, StartStage, State, Suspend, SuspendStage, Variable
All Known Implementing Classes:
AbstractAnnotation, AbstractConstraint, AbstractSearchNode, AbstractStage, AbstractVariable, BasicSearchNode, ConstraintEventImpl, ConstraintProxy, DefaultAwake, DefaultChoicePoint, DefaultConstraint, DefaultFailure, DefaultPost, DefaultReduce, DefaultReject, DefaultRemove, DefaultSchedule, DefaultSolution, DefaultSolved, DefaultStage, DefaultState, DefaultSuspend, DefaultVariable, SolverMainElementImpl

public interface SolverMainElement
extends SolverElement, DepthProvider, ChronoProvider

Author:
raf TODO To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Field Summary
static java.lang.String EVENT_TYPE
           
 
Method Summary
 java.lang.String getContext()
           
 java.lang.String getFile()
           
 int getLine()
           
 long getTime()
           
 void setContext(java.lang.String context)
           
 void setFile(java.lang.String file)
           
 void setLine(int line)
           
 void setTime(long time)
           
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverElement
getEventType, getLabel, getSolverType
 
Methods inherited from interface fr.inria.oadymppac.utils.Indexable
getIndex, getKey, reset, setIndex
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverManagable
getSolver, setSolver
 
Methods inherited from interface fr.inria.oadymppac.solver.DepthProvider
getDepth, setDepth
 
Methods inherited from interface fr.inria.oadymppac.solver.ChronoProvider
getChrono, setChrono
 

Field Detail

EVENT_TYPE

public static final java.lang.String EVENT_TYPE
See Also:
Constant Field Values
Method Detail

getFile

public java.lang.String getFile()
Returns:
Returns the file.

setFile

public void setFile(java.lang.String file)
Parameters:
file - The file to set.

getLine

public int getLine()
Returns:
Returns the line.

setLine

public void setLine(int line)
Parameters:
line - The line to set.

getTime

public long getTime()
Returns:
Returns the time.

setTime

public void setTime(long time)
Parameters:
time - The time to set.

getContext

public java.lang.String getContext()
Returns:
Returns the context.

setContext

public void setContext(java.lang.String context)
Parameters:
context - The context to set.