gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.ceres/InstantiateStruct

InstantiateStruct

gapt.proofs.ceres.InstantiateStruct
object InstantiateStruct extends StructVisitor[Struct, (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])]

Attributes

Source
SchematicClauseSet.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def aF(f: Formula, info: (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var]))(implicit ctx: Context): Struct

Attributes

Source
SchematicClauseSet.scala
def apply(theStruct: Struct, sigma: Substitution, sss: Map[CLS, (Struct, Set[Var])], usedNames: Set[Var])(implicit ctx: Context): Struct

Attributes

Source
SchematicClauseSet.scala
def cF(pn: Expr, cc: Sequent[Boolean], info: (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var]))(implicit ctx: Context): Struct

Attributes

Source
SchematicClauseSet.scala

Inherited methods

final def recurse(struct: Struct, tranform: StructTransformer[Struct, (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])], otherArgs: (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])): Ret

Attributes

Inherited from:
StructVisitor
Source
StructVisitor.scala
def visitAtomLeaf(f: Formula, tranform: StructTransformer[Struct, (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])], otherArgs: (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])): Ret

Attributes

Inherited from:
StructVisitor
Source
StructVisitor.scala
def visitCLS(ex: Expr, sb: Sequent[Boolean], tranform: StructTransformer[Struct, (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])], otherArgs: (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])): Ret

Attributes

Inherited from:
StructVisitor
Source
StructVisitor.scala
def visitDual(struct: Struct, tranform: StructTransformer[Struct, (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])], otherArgs: (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])): Ret

Attributes

Inherited from:
StructVisitor
Source
StructVisitor.scala
def visitEmptyPlusJunction(tranform: StructTransformer[Struct, (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])], otherArgs: (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])): Ret

Attributes

Inherited from:
StructVisitor
Source
StructVisitor.scala
def visitEmptyTimesJunction(tranform: StructTransformer[Struct, (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])], otherArgs: (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])): Ret

Attributes

Inherited from:
StructVisitor
Source
StructVisitor.scala
def visitPlus(struct1: Struct, struct2: Struct, tranform: StructTransformer[Struct, (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])], otherArgs: (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])): Ret

Attributes

Inherited from:
StructVisitor
Source
StructVisitor.scala
def visitTimes(struct1: Struct, struct2: Struct, tranform: StructTransformer[Struct, (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])], otherArgs: (Substitution, Map[CLS, (Struct, Set[Var])], Set[Var])): Ret

Attributes

Inherited from:
StructVisitor
Source
StructVisitor.scala
Generated with