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
class Object
trait Matchable
class Any
Show all
Members list
Returns rguments to the designated literal
Returns rguments 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