DDOLib-Scala
API
Generated with
DDOLib-Scala/org.ddolibscala/org.ddolibscala.tools/org.ddolibscala.tools.dominance/SimpleDominanceChecker

SimpleDominanceChecker

org.ddolibscala.tools.dominance.SimpleDominanceChecker
object SimpleDominanceChecker

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply[T](dominance: Dominance[T], nbVars: Int): SimpleDominanceChecker[T]
Generated with