gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.provers/gapt.provers.escargot/gapt.provers.escargot.impl/ClauseFeatureVec

ClauseFeatureVec

gapt.provers.escargot.impl.ClauseFeatureVec
See theClauseFeatureVec companion object
case class ClauseFeatureVec(numLitsNeg: Int, numLitsPos: Int, featNeg: TermFeatureVec, featPos: TermFeatureVec)

Attributes

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

Members list

Value members

Concrete methods

def <=(that: ClauseFeatureVec): Boolean

Attributes

Source
features.scala

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with