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

Attributes

Source: features.scala

Inherited methods

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

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

In this article

Generated with