Serialized Form

Package dpvis.datastructures

Package dpvis.datastructures.exceptions

Class dpvis.datastructures.exceptions.AmbiguityException extends java.lang.Exception implements Serializable

serialVersionUID: 7863921450450955983L

Class dpvis.datastructures.exceptions.UnificationException extends java.lang.Exception implements Serializable

serialVersionUID: 4083059227488593426L

Package dpvis.datastructures.impl

Class dpvis.datastructures.impl.DependencyPairProblemImpl extends java.lang.Object implements Serializable

serialVersionUID: 3153259110568968249L

Serialized Fields

dependencyPairs

java.util.Set<E> dependencyPairs

rewriteSystem

RewriteSystem rewriteSystem

signature

java.util.Set<E> signature

minimal

boolean minimal

contextSensitive

boolean contextSensitive

complete

boolean complete

Class dpvis.datastructures.impl.RewriteSystemImpl extends java.lang.Object implements Serializable

serialVersionUID: -263773979440158628L

Serialized Fields

rules

java.util.List<E> rules

strategy

Strategy strategy

variables

java.util.List<E> variables

Class dpvis.datastructures.impl.RuleImpl extends java.lang.Object implements Serializable

serialVersionUID: -4926605212218315855L

Serialized Fields

lhs

Term lhs

rhs

Term rhs

conditions

java.util.List<E> conditions

Class dpvis.datastructures.impl.TermImpl extends java.lang.Object implements Serializable

serialVersionUID: -3934337581450181125L

Serialized Fields

function

java.lang.String function

subterms

java.util.List<E> subterms

forbidden

boolean forbidden

variable

boolean variable

Package dpvis.dpProcessor

Class dpvis.dpProcessor.AbstractCSProcessor extends java.lang.Object implements Serializable

serialVersionUID: 1L

Class dpvis.dpProcessor.AbstractProcessor extends java.lang.Object implements Serializable

serialVersionUID: -260937963468674729L