fr.inria.oadymppac.parsing.info
Class ReduceInfo

java.lang.Object
  extended byfr.inria.oadymppac.parsing.info.BasicInfo
      extended byfr.inria.oadymppac.parsing.info.EventInfo
          extended byfr.inria.oadymppac.parsing.info.ReduceInfo
All Implemented Interfaces:
java.lang.Cloneable, DeltaProvider, DTDEventAttributes, DTDReduceElement, EventAttributes, ExplanationListProvider, Info, ReduceAttributes, StateProvider, UpdateProvider, VarDomainProvider

public class ReduceInfo
extends EventInfo
implements ReduceAttributes, UpdateProvider, StateProvider, DeltaProvider, VarDomainProvider, ExplanationListProvider, java.lang.Cloneable

Author:
raf

Field Summary
static int INFO_TYPE
           
 
Fields inherited from class fr.inria.oadymppac.parsing.info.BasicInfo
cloned, created
 
Fields inherited from interface fr.inria.oadymppac.parsing.gentra4cp.event.attributes.ReduceAttributes
ALGORITHM_NONE, CONSTRAINT_NONE, VARIABLE_NONE
 
Fields inherited from interface fr.inria.oadymppac.parsing.gentra4cp.dtd.DTDReduceElement
ALGORITHM, CONSTRAINT, REDUCE, VARIABLE
 
Fields inherited from interface fr.inria.oadymppac.parsing.gentra4cp.event.attributes.EventAttributes
CHRONO_NONE, CONTEXT_NONE, DEPTH_NONE, FILE_NONE, LINE_NONE, TIME_NONE
 
Fields inherited from interface fr.inria.oadymppac.parsing.gentra4cp.dtd.DTDEventAttributes
CHRONO, CONTEXT, DEPTH, FILE, LINE, TIME
 
Fields inherited from interface fr.inria.oadymppac.parsing.event.Info
logger
 
Constructor Summary
ReduceInfo()
           
 
Method Summary
 java.lang.Object clone()
           
 java.lang.String getAlgorithm()
           
 java.lang.String getConstraint()
           
 DeltaInfo getDelta()
           
 ExplanationListInfo getExplanationList()
           
 int getInfoType()
           
 StateInfo getState()
           
 UpdateInfo getUpdate()
           
 VarDomainInfo getVarDomain()
           
 java.lang.String getVariable()
           
 void setAlgorithm(java.lang.String algo)
           
 void setConstraint(java.lang.String cst)
           
 void setDelta(DeltaInfo delta)
           
 void setExplanationList(ExplanationListInfo explanationList)
           
 void setState(StateInfo state)
           
 void setUpdate(UpdateInfo update)
           
 void setVarDomain(VarDomainInfo varDomain)
           
 void setVariable(java.lang.String var)
           
 
Methods inherited from class fr.inria.oadymppac.parsing.info.EventInfo
getChrono, getContext, getDepth, getFile, getLine, getTime, setChrono, setContext, setDepth, setFile, setLine, setTime
 
Methods inherited from class fr.inria.oadymppac.parsing.info.BasicInfo
clone, clone, clone
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

INFO_TYPE

public static final int INFO_TYPE
See Also:
Constant Field Values
Constructor Detail

ReduceInfo

public ReduceInfo()
Method Detail

getInfoType

public int getInfoType()
Specified by:
getInfoType in interface Info

getVariable

public java.lang.String getVariable()
Specified by:
getVariable in interface ReduceAttributes

setVariable

public void setVariable(java.lang.String var)
Specified by:
setVariable in interface ReduceAttributes

getConstraint

public java.lang.String getConstraint()
Specified by:
getConstraint in interface ReduceAttributes

setConstraint

public void setConstraint(java.lang.String cst)
Specified by:
setConstraint in interface ReduceAttributes

getAlgorithm

public java.lang.String getAlgorithm()
Specified by:
getAlgorithm in interface ReduceAttributes

setAlgorithm

public void setAlgorithm(java.lang.String algo)
Specified by:
setAlgorithm in interface ReduceAttributes

clone

public java.lang.Object clone()
                       throws java.lang.CloneNotSupportedException
Overrides:
clone in class BasicInfo
Throws:
java.lang.CloneNotSupportedException

getUpdate

public UpdateInfo getUpdate()
Specified by:
getUpdate in interface UpdateProvider
Returns:
Returns the update.

setUpdate

public void setUpdate(UpdateInfo update)
Specified by:
setUpdate in interface UpdateProvider
Parameters:
update - The update to set.

getState

public StateInfo getState()
Specified by:
getState in interface StateProvider
Returns:
Returns the state.

setState

public void setState(StateInfo state)
Specified by:
setState in interface StateProvider
Parameters:
state - The state to set.

getDelta

public DeltaInfo getDelta()
Specified by:
getDelta in interface DeltaProvider
Returns:
Returns the delta.

setDelta

public void setDelta(DeltaInfo delta)
Specified by:
setDelta in interface DeltaProvider
Parameters:
delta - The delta to set.

getVarDomain

public VarDomainInfo getVarDomain()
Specified by:
getVarDomain in interface VarDomainProvider
Returns:
Returns the varDomain.

setVarDomain

public void setVarDomain(VarDomainInfo varDomain)
Specified by:
setVarDomain in interface VarDomainProvider
Parameters:
varDomain - The varDomain to set.

getExplanationList

public ExplanationListInfo getExplanationList()
Specified by:
getExplanationList in interface ExplanationListProvider
Returns:
Returns the explanationList.

setExplanationList

public void setExplanationList(ExplanationListInfo explanationList)
Specified by:
setExplanationList in interface ExplanationListProvider
Parameters:
explanationList - The explanationList to set.