Package net.sf.opendse.realtime.et.qcqp

Class MyConflictRefinementDeletion

java.lang.Object

net.sf.opendse.realtime.et.qcqp.MyConflictRefinementDeletion

All Implemented Interfaces:

MyConflictRefinement

public class MyConflictRefinementDeletion
extends Object
implements MyConflictRefinement

Nested Class Summary

Nested classes/interfaces inherited from interface net.sf.opendse.realtime.et.qcqp.MyConflictRefinement

MyConflictRefinement.ConflictRefinementMethod

Constructor Summary

Constructors

Constructor	Description
MyConflictRefinementDeletion(SolverProvider solverProvider, boolean rateMonotonic)

Method Summary

Modifier and Type	Method	Description
Set<TimingElement>	find(TimingGraph tg, Specification impl)
Set<TimingElement>	find(TimingGraph tg, Specification impl, Set<TimingElement> predef)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

MyConflictRefinementDeletion

public MyConflictRefinementDeletion(SolverProvider solverProvider,
 boolean rateMonotonic)

Method Details

find

public Set<TimingElement> find(TimingGraph tg,
 Specification impl)

Specified by:

find in interface MyConflictRefinement

find

public Set<TimingElement> find(TimingGraph tg,
 Specification impl,
 Set<TimingElement> predef)