de.uka.ilkd.key.macros

Class SemanticsBlastingMacro.EqualityRuleFilter

java.lang.Object

de.uka.ilkd.key.macros.SemanticsBlastingMacro.EqualityRuleFilter

All Implemented Interfaces:

RuleFilter

Enclosing class:

SemanticsBlastingMacro

private class SemanticsBlastingMacro.EqualityRuleFilter
extends java.lang.Object
implements RuleFilter

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.HashSet<java.lang.String>	allowedRulesNames

Constructor Summary

Constructors

Modifier	Constructor and Description
private	EqualityRuleFilter()

Method Summary

Modifier and Type	Method and Description
boolean	filter(Rule rule)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

allowedRulesNames

private java.util.HashSet<java.lang.String> allowedRulesNames

Constructor Detail

EqualityRuleFilter

private EqualityRuleFilter()

Method Detail

filter

public boolean filter(Rule rule)

Specified by:

filter in interface RuleFilter