public class ThreadContext
extends java.lang.Object
GlobalContext
.Constructor and Description |
---|
ThreadContext(GlobalContext globalContext,
IStrategy strategy,
org.eclipse.emf.common.notify.Notifier model,
TrajectoryInfo trajectoryInfoToClone,
Guidance parentGuidance)
Creates a
ThreadContext and sets it up to be initialized on the given TransactionalEditingDomain |
Modifier and Type | Method and Description |
---|---|
Fitness |
calculateFitness() |
boolean |
checkGlobalConstraints() |
DesignSpaceManager |
getDesignSpaceManager() |
org.eclipse.emf.edit.domain.EditingDomain |
getEditingDomain() |
ExplorerThread |
getExplorerThread() |
GlobalContext |
getGlobalContext() |
Guidance |
getGuidance() |
Fitness |
getLastFitness() |
IObjective[][] |
getLeveledObjectives() |
org.eclipse.emf.common.notify.Notifier |
getModel() |
ObjectiveComparatorHelper |
getObjectiveComparatorHelper() |
org.eclipse.viatra.query.runtime.api.ViatraQueryEngine |
getQueryEngine() |
org.eclipse.viatra.transformation.evm.api.RuleEngine |
getRuleEngine() |
IStrategy |
getStrategy() |
void |
init()
|
void |
setExplorerThread(ExplorerThread explorerThread) |
void |
setGuidance(Guidance guidance) |
public ThreadContext(GlobalContext globalContext, IStrategy strategy, org.eclipse.emf.common.notify.Notifier model, TrajectoryInfo trajectoryInfoToClone, Guidance parentGuidance)
ThreadContext
and sets it up to be initialized on the given TransactionalEditingDomain
globalContext
- strategyBase
- domain
- trajectoryInfoToClone
- parentGuidance
- public void init() throws DSEException
ThreadContext
by initializing the underlying ViatraQueryEngine
and
RuleEngine
. Guidance
initialization is also happening within this method.org.eclipse.viatra.query.runtime.exception.ViatraQueryException
DSEException
public Fitness calculateFitness()
public boolean checkGlobalConstraints()
public org.eclipse.viatra.transformation.evm.api.RuleEngine getRuleEngine()
public GlobalContext getGlobalContext()
public DesignSpaceManager getDesignSpaceManager()
public org.eclipse.emf.edit.domain.EditingDomain getEditingDomain()
public org.eclipse.emf.common.notify.Notifier getModel()
public org.eclipse.viatra.query.runtime.api.ViatraQueryEngine getQueryEngine()
public Guidance getGuidance()
public void setGuidance(Guidance guidance)
public IStrategy getStrategy()
public ExplorerThread getExplorerThread()
public void setExplorerThread(ExplorerThread explorerThread)
public Fitness getLastFitness()
public ObjectiveComparatorHelper getObjectiveComparatorHelper()
public IObjective[][] getLeveledObjectives()