RewriteTacletBuilderSchemaVarCollector (KeY API Documentation)

public class RewriteTacletBuilderSchemaVarCollector
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`private RewriteTacletBuilder<? extends RewriteTaclet>`	`rtb`

Constructors
Constructor and Description
`RewriteTacletBuilderSchemaVarCollector(RewriteTacletBuilder<? extends RewriteTaclet> rtb)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`java.util.Set<SchemaVariable>`	`collectSchemaVariables()`
`private java.util.Set<SchemaVariable>`	`collectSchemaVariables(Sequent s)`
`private java.util.Set<SchemaVariable>`	`collectSchemaVariables(TacletGoalTemplate templ)`
`private java.util.Set<SchemaVariable>`	`collectSchemaVariables(Term t)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

private final RewriteTacletBuilder<? extends RewriteTaclet> rtb

public RewriteTacletBuilderSchemaVarCollector(RewriteTacletBuilder<? extends RewriteTaclet> rtb)

public java.util.Set<SchemaVariable> collectSchemaVariables()

private java.util.Set<SchemaVariable> collectSchemaVariables(Term t)

private java.util.Set<SchemaVariable> collectSchemaVariables(Sequent s)

private java.util.Set<SchemaVariable> collectSchemaVariables(TacletGoalTemplate templ)

Class RewriteTacletBuilderSchemaVarCollector