|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdpvis.datastructures.impl.RewriteSystemImpl
public class RewriteSystemImpl
Constructor Summary | |
---|---|
RewriteSystemImpl(java.util.List<Rule> rules)
|
|
RewriteSystemImpl(java.util.List<Rule> rules,
int strategy)
|
|
RewriteSystemImpl(java.util.List<Rule> rules,
Strategy strategy)
|
|
RewriteSystemImpl(RewriteSystem sys)
|
Method Summary | |
---|---|
boolean |
equals(java.lang.Object obj)
|
void |
filter(java.util.Map<java.lang.String,java.util.List<java.lang.Integer>> filtering)
Applies an argument filtering to the rules of the rewrite system. |
java.util.Set<Pair<java.lang.String,java.lang.Integer>> |
getAllFunctionSymbolsWithArity()
Gets the list of function symbols of the rewrite system together with the corresponding arities. |
java.util.List<java.lang.String> |
getDefinedFunctionSymbols()
Gets the defined function symbols of the rewrite system, i.e. |
java.util.List<Rule> |
getRules()
Gets the rules of the rewrite system. |
java.util.Set<java.lang.String> |
getSignature()
Gets the signature of the rewrite system. |
Strategy |
getStrategy()
Gets the strategy of the rewrite system. |
java.util.List<java.lang.String> |
getVariables()
Extracts all variables that are used in the rules of the rewrite systems. |
int |
hashCode()
|
boolean |
isConditional()
Computes whether the rewrite system is conditional, i.e. |
void |
markVariables()
|
java.util.List<Term> |
narrow(Term t)
Narrows a given term with respect to this rewrite system. |
void |
removeContextSensitivityFlags()
Removes all forbidden flags from the rules of this Rewrite System. |
void |
reverse()
Swaps the direction of all rules of the Rewrite System, i.e. |
void |
setRules(java.util.List<Rule> rules)
Sets the rules of the rewrite system. |
void |
setStrategy(Strategy strategy)
Sets the strategy of the rewrite system. |
void |
setVariables(java.util.List<java.lang.String> variables)
Sets those functions that shall be interpreted as variables. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public RewriteSystemImpl(java.util.List<Rule> rules)
public RewriteSystemImpl(java.util.List<Rule> rules, int strategy)
public RewriteSystemImpl(java.util.List<Rule> rules, Strategy strategy)
public RewriteSystemImpl(RewriteSystem sys)
Method Detail |
---|
public void reverse()
RewriteSystem
reverse
in interface RewriteSystem
public java.util.List<Rule> getRules()
RewriteSystem
getRules
in interface RewriteSystem
public void setRules(java.util.List<Rule> rules)
RewriteSystem
setRules
in interface RewriteSystem
rules
- The new rules of the rewrite system.public Strategy getStrategy()
RewriteSystem
getStrategy
in interface RewriteSystem
public void setStrategy(Strategy strategy)
RewriteSystem
setStrategy
in interface RewriteSystem
strategy
- The new strategy of the rewrite system.public java.util.List<java.lang.String> getVariables()
RewriteSystem
getVariables
in interface RewriteSystem
public void setVariables(java.util.List<java.lang.String> variables)
RewriteSystem
setVariables
in interface RewriteSystem
variables
- The new variables of the TRS.public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List<java.lang.String> getDefinedFunctionSymbols()
RewriteSystem
getDefinedFunctionSymbols
in interface RewriteSystem
public void markVariables()
public java.util.List<Term> narrow(Term t)
RewriteSystem
narrow
in interface RewriteSystem
t
- The term to be narrowed
public java.util.Set<java.lang.String> getSignature()
RewriteSystem
getSignature
in interface RewriteSystem
public void filter(java.util.Map<java.lang.String,java.util.List<java.lang.Integer>> filtering)
RewriteSystem
filter
in interface RewriteSystem
filtering
- The filtering given by a mapping from functions to lists of argument positions.public boolean isConditional()
RewriteSystem
isConditional
in interface RewriteSystem
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.util.Set<Pair<java.lang.String,java.lang.Integer>> getAllFunctionSymbolsWithArity()
RewriteSystem
getAllFunctionSymbolsWithArity
in interface RewriteSystem
public void removeContextSensitivityFlags()
RewriteSystem
removeContextSensitivityFlags
in interface RewriteSystem
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |