analysis/org.polystat.odin.analysis.mutualrec.advanced/Program/ProgramOps

ProgramOps

final implicit class ProgramOps(objs: Program)
class Object
trait Matchable
class Any

Value members

Concrete methods

def containsObjectWithName(s: String): Boolean
def toCPP: String
def toEO: String