Generated with

gapt/gapt/gapt.proofs/IndexOrFormula/IsIndex

IsIndex

gapt.proofs.IndexOrFormula.IsIndex

case class IsIndex(index: SequentIndex) extends IndexOrFormula

Attributes

Source: IndexOrFormula.scala
Graph
Supertypes: trait Serializable

trait Product

trait Equals

trait IndexOrFormula

class Object

trait Matchable

class Any
Show all

Members list

Value members

Concrete methods

Attributes

Source: IndexOrFormula.scala

Inherited methods

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:: Product
Source: Product.scala

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns: in the default implementation, an Iterator[Any]
Inherited from:: Product
Source: Product.scala

In this article

Generated with