gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.expr/gapt.expr.formula/gapt.expr.formula.constants/NegC

NegC

gapt.expr.formula.constants.NegC
object NegC extends MonomorphicLogicalC

Attributes

Source
NegC.scala
Graph
Supertypes
class LogicalC
class Object
trait Matchable
class Any
Self type
NegC.type

Members list

Value members

Inherited methods

def apply(): Const

Attributes

Inherited from:
MonomorphicLogicalC
Source
MonomorphicLogicalC.scala
def unapply(p: (String, Ty, List[Ty])): Boolean

Attributes

Inherited from:
MonomorphicLogicalC
Source
MonomorphicLogicalC.scala
def unapply(e: Expr): Boolean

Attributes

Inherited from:
MonomorphicLogicalC
Source
MonomorphicLogicalC.scala

Inherited fields

val name: String

Attributes

Inherited from:
LogicalC
Source
LogicalC.scala
val ty: Ty

Attributes

Inherited from:
MonomorphicLogicalC
Source
MonomorphicLogicalC.scala
Generated with