|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdpvis.dpProcessor.AbstractProcessor
public abstract class AbstractProcessor
Abstract class implementing DPProcessor providing some utility methods for the generation of the html output of a concrete processor
Constructor Summary | |
---|---|
AbstractProcessor()
|
Method Summary | |
---|---|
protected static java.util.Set<java.util.Map<java.lang.String,java.util.List<java.lang.Integer>>> |
computeAllArgumentFilterings(java.util.List<Pair<java.lang.String,java.lang.Integer>> functions)
Computes all possible argument filterings for the given function symbols. |
protected static java.util.Set<Rule> |
computeUseableRules(RewriteSystem system,
java.util.Set<java.lang.String> definedSymbols)
Computes the usable rules for the given function symbols. |
protected static void |
embedOrient(Rule rule)
Tries do orient the given rule with an embedding orientation. |
void |
freeResources()
Convenience implementation of the freeResources method that does actually nothing. |
protected static java.util.Set<java.lang.String> |
getDefinedFunctions(java.util.Collection<Rule> rules,
java.util.List<java.lang.String> allDefinedFunctions)
Gets the defined function symbols that occur in the right hand side of one of the given rules. |
protected static java.util.Set<java.lang.String> |
getForbiddenFunctions(java.util.Collection<Rule> rules)
|
protected static boolean |
isStronglyConservative(Rule r)
|
protected static java.util.Set<java.util.List<java.lang.String>> |
lpoOrient(Rule rule,
java.util.Set<java.util.List<java.lang.String>> ordering)
Method to quickly orient a given rule by an LPO not violating the given precedence constraints (ordering). |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface dpvis.dpProcessor.DPProcessor |
---|
getOutput, process |
Constructor Detail |
---|
public AbstractProcessor()
Method Detail |
---|
protected static java.util.Set<java.util.List<java.lang.String>> lpoOrient(Rule rule, java.util.Set<java.util.List<java.lang.String>> ordering) throws java.lang.Exception
rule
- The rule that shall be ordered.ordering
- The ordering constraints that must be considered. The constraints are actually a precedence
on function symbols stored as set of lists of functions. Each list specifies specifies
a sequence of decreasing function symbols. It is assumed the induced ordering is a partial ordering.
java.lang.Exception
- In case the rule cannot be oriented when considering the given precedence constraints.protected static void embedOrient(Rule rule) throws java.lang.Exception
rule
- The rule that shall be oriented.
java.lang.Exception
- In case the rule cannot be oriented.protected static java.util.Set<java.util.Map<java.lang.String,java.util.List<java.lang.Integer>>> computeAllArgumentFilterings(java.util.List<Pair<java.lang.String,java.lang.Integer>> functions)
functions
- The functions for which the argument filterings shall be computed.
protected static java.util.Set<java.lang.String> getDefinedFunctions(java.util.Collection<Rule> rules, java.util.List<java.lang.String> allDefinedFunctions)
rules
- The rules whose function symbols of the right-hand sides shall be taken.allDefinedFunctions
- The defined function symbols for which it shall be searched.
protected static java.util.Set<Rule> computeUseableRules(RewriteSystem system, java.util.Set<java.lang.String> definedSymbols)
system
- The rewrite system whose usable rules shall be computed.definedSymbols
- The defined functions that are used fo compute the
usable rules.
protected static java.util.Set<java.lang.String> getForbiddenFunctions(java.util.Collection<Rule> rules)
protected static boolean isStronglyConservative(Rule r)
public void freeResources()
freeResources
in interface DPProcessor
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |