gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.testing/clausifier

clausifier

gapt.testing.clausifier
object clausifier extends App

Attributes

Source
clausifier.scala
Graph
Supertypes
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Self type
clausifier.type

Members list

Value members

Inherited methods

final protected def args: Array[String]

Attributes

Inherited from:
App
final def main(args: Array[String]): Unit

Attributes

Inherited from:
App

Deprecated and Inherited methods

override def delayedInit(body: => Unit): Unit

Attributes

Deprecated
[Since version 2.11.0] the delayedInit mechanism will disappear
Definition Classes
Inherited from:
App

Concrete fields

val cnf: Set[ResolutionProof]

Attributes

Source
clausifier.scala
val input: InputFile

Attributes

Source
clausifier.scala
val tptp: TptpFile

Attributes

Source
clausifier.scala
val tptpCNF: TptpFile

Attributes

Source
clausifier.scala
Generated with