gapt
2.20.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.lk/Attributes

Attributes

gapt.proofs.lk.Attributes
See theAttributes companion object
case class Attributes(attrs: Map[String, Set[String]])

Attributes

Companion
object
Source
Attributes.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def +(lemmaName: String, attrName: String): Attributes

Attributes

Source
Attributes.scala
def has(lem: String, attr: String): Boolean

Attributes

Source
Attributes.scala
def lemmasWith(attr: String): Set[String]

Attributes

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

Inherited methods

def productElementNames: Iterator[String]

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
def productIterator: Iterator[Any]

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
Generated with