A C D E F G H I M N O P R S T U W

F

filter(Map<String, List<Integer>>) - Method in interface dpvis.datastructures.DependencyPairProblem

Applies an argument filtering to the dependency pairs and the rewrite system of this problem.

filter(Map<String, List<Integer>>) - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

filter(Map<String, List<Integer>>) - Method in class dpvis.datastructures.impl.RewriteSystemImpl

filter(Map<String, List<Integer>>) - Method in class dpvis.datastructures.impl.RuleImpl

filter(Map<String, List<Integer>>) - Method in class dpvis.datastructures.impl.TermImpl

filter(Map<String, List<Integer>>) - Method in interface dpvis.datastructures.RewriteSystem

Applies an argument filtering to the rules of the rewrite system.

filter(Map<String, List<Integer>>) - Method in interface dpvis.datastructures.Rule

Applies an argument filtering to the rule.

filter(Map<String, List<Integer>>) - Method in interface dpvis.datastructures.Term

Applies an argument filtering to the term.

freeResources() - Method in class dpvis.dpProcessor.AbstractCSProcessor

Convenience implementation of the freeResources method that does actually nothing.

freeResources() - Method in class dpvis.dpProcessor.AbstractProcessor

Convenience implementation of the freeResources method that does actually nothing.

freeResources() - Method in interface dpvis.dpProcessor.DPProcessor

Use this method to free any resources (close Streams, kill subprocesses, etc.)