gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.expr/gapt.expr.formula/NullaryPropConnectiveHelper

NullaryPropConnectiveHelper

gapt.expr.formula.NullaryPropConnectiveHelper
class NullaryPropConnectiveHelper(val c: MonomorphicLogicalC)

Attributes

Source
NullaryPropConnectiveHelper.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Bottom.type
object Top.type

Members list

Value members

Concrete methods

Concrete fields

Generated with