gapt.logic.hol.scan.PointedClause
See thePointedClause companion object
A pointed clause (in analogy to pointed sets in mathematics) is a clause together with a choice of one of its literals, called the designated literal.
Value parameters
- clause
-
the underlying clause
- index
-
the index of the literal within the clause
Attributes
- Companion
-
object
- Source
-
scan.scala
- Graph
-
- Supertypes
-
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Members list
Returns arguments to the designated literal
Returns arguments to the designated literal
Attributes
- Source
-
scan.scala
Returns the designated literal of the pointed clause
Returns the designated literal of the pointed clause
Attributes
- Source
-
scan.scala
Returns the symbol underlying the designated literal of this pointed clause
Returns the symbol underlying the designated literal of this pointed clause
Attributes
- Source
-
scan.scala
Returns Some(v), if the symbol of the pointed clause is a gapt.expr.Var and None otherwise
Returns Some(v), if the symbol of the pointed clause is a gapt.expr.Var and None otherwise
Attributes
- Source
-
scan.scala
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