public class RewriteTacletBuilderSchemaVarCollector
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private RewriteTacletBuilder<? extends RewriteTaclet> |
rtb |
Constructor and Description |
---|
RewriteTacletBuilderSchemaVarCollector(RewriteTacletBuilder<? extends RewriteTaclet> rtb) |
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) |
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)