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

Skip

gapt.proofs.hoare.Skip
case class Skip() extends Program

Attributes

Source
ast.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Program
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Program -> Any
Inherited from:
Program
Source
ast.scala
Generated with