de.uka.ilkd.key.proof

Class BuiltInRuleIndex

java.lang.Object

de.uka.ilkd.key.proof.BuiltInRuleIndex

All Implemented Interfaces:

java.io.Serializable

public class BuiltInRuleIndex
extends java.lang.Object
implements java.io.Serializable

Index for managing built-in-rules usch as integer decision or update simplification rule.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableList<BuiltInRule>	rules list of available built in rules
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
BuiltInRuleIndex() constructs empty rule index
BuiltInRuleIndex(ImmutableList<BuiltInRule> rules) creates a new index with the given built-in-rules

Method Summary

Modifier and Type	Method and Description
BuiltInRuleIndex	copy() returns a copy of itself
ImmutableList<BuiltInRule>	rules() returns all available rules

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

rules

private ImmutableList<BuiltInRule> rules

list of available built in rules

Constructor Detail

BuiltInRuleIndex

public BuiltInRuleIndex()

constructs empty rule index

BuiltInRuleIndex

public BuiltInRuleIndex(ImmutableList<BuiltInRule> rules)

creates a new index with the given built-in-rules

Parameters:

rules - a IList with available built in rules

Method Detail

rules

public ImmutableList<BuiltInRule> rules()

returns all available rules

copy

public BuiltInRuleIndex copy()

returns a copy of itself