gapt-examples
API
Generated with
gapt-examples/gapt.examples/nTapeInstances

nTapeInstances

gapt.examples.nTapeInstances
object nTapeInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def computeInstances(expansion_proof: ExpansionProof, definitions: Map[Const, Expr]): (Abs, Abs, Abs, Abs, Map[Expr, String])
def printInstances(expansion_proof: ExpansionProof, definitions: Map[Const, Expr]): Unit
Generated with