gapt
2.19.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/Suc

Suc

gapt.proofs.Suc
case class Suc(k: Int) extends SequentIndex

Attributes

Source
sequents.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class SequentIndex
trait Comparable[SequentIndex]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def +(i: Int): SequentIndex

Increments the index by a natural number.

Increments the index by a natural number.

Attributes

Source
sequents.scala
def -(i: Int): SequentIndex

Decrements the index by a natural number.

Decrements the index by a natural number.

Attributes

Source
sequents.scala
def polarity: Polarity

Attributes

Source
sequents.scala
def toInt: Int

Injective conversion to integers.

Injective conversion to integers.

Attributes

Source
sequents.scala
def withinSizes(p: (Int, Int)): Boolean

Attributes

Source
sequents.scala

Inherited methods

def <(that: SequentIndex): Boolean

Attributes

Inherited from:
Ordered
def <=(that: SequentIndex): Boolean

Attributes

Inherited from:
Ordered
def >(that: SequentIndex): Boolean

Attributes

Inherited from:
Ordered
def >=(that: SequentIndex): Boolean

Attributes

Inherited from:
Ordered
def compare(that: SequentIndex): Int

Attributes

Inherited from:
SequentIndex
Source
sequents.scala
def compareTo(that: SequentIndex): Int

Attributes

Inherited from:
Ordered
def isAnt: Boolean

Attributes

Inherited from:
SequentIndex
Source
sequents.scala
def isSuc: Boolean

Attributes

Inherited from:
SequentIndex
Source
sequents.scala
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def sameSideAs(that: SequentIndex): Boolean

Attributes

Inherited from:
SequentIndex
Source
sequents.scala
Generated with