gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.hoare/LoopFree

LoopFree

gapt.proofs.hoare.LoopFree
object LoopFree

Attributes

Source
utils.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
LoopFree.type

Members list

Value members

Concrete methods

def unapply(p: Program): Option[Program]

Attributes

Source
utils.scala
Generated with