Generated with

gapt/gapt/gapt.proofs/gapt.proofs.gaptic/OpenAssumptionIndex

OpenAssumptionIndex

gapt.proofs.gaptic.OpenAssumptionIndex

class OpenAssumptionIndex

The globally unique index of an open assumption in a proof state.

Attributes

Source: core.scala
Graph
Supertypes: class Object

trait Matchable

class Any

Members list

Value members

Concrete methods

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: Any
Source: core.scala

In this article

Generated with