Uses of Interface
dpvis.datastructures.Term

Packages that use Term
dpvis.datastructures   
dpvis.datastructures.impl   
 

Uses of Term in dpvis.datastructures
 

Methods in dpvis.datastructures that return Term
 Term Rule.getLhs()
          Gets the left-hand side of the rule.
 Term Rule.getRhs()
          Gets the right-hand side of the rule.
 

Methods in dpvis.datastructures that return types with arguments of type Term
 java.util.Set<Term> Term.getAllForbiddenSubterms(boolean include)
          Computes all subterms of this term, that occur at forbidden positions (in the usual context-sensitve sense) in this term according to the forbidden flags.
 java.util.List<Term> Term.getAllowedSubtermsWithRoot(java.util.List<java.lang.String> rootSymbols)
          Extracts (deep) copies of all subterms, rooted by one of the given function symbols, that are allowed according to the forbidden flags.
 java.util.Map<java.lang.String,Term> Substitution.getSubstitution()
          Returns the substitution as a mapping from variables to terms.
 java.util.List<Term> Term.getSubterms()
          Gets the (immediate) subterms of this term.
 java.util.Set<Term> Term.getSubtermsOfSignature(java.util.Set<java.lang.String> signature)
          Returns deep copies of all (not necessarily immediate) subterms of this term that are rooted by a function symbol contained in the given signature.
 java.util.Set<Pair<Term,Substitution>> Term.narrow(RewriteSystem trs, int variablePrefixCounter, boolean root, Strategy strat)
          Computes all (context-sensitive) narrowings of this term and its subterms (or only of the subterms if the root parameter is false) according to the given Rewrite System. the given strategy is used set the forbidden flags of resulting terms.
 java.util.List<Term> RewriteSystem.narrow(Term t)
          Narrows a given term with respect to this rewrite system.
 

Methods in dpvis.datastructures with parameters of type Term
 boolean Term.isProperSubterm(Term potentialSubterm)
          Checks if the given term is a proper subterm of this term.
 boolean Term.isSubterm(Term potentialSubterm)
          Checks if the given term is a (not necessarily proper) subterm of this term.
 java.util.List<Term> RewriteSystem.narrow(Term t)
          Narrows a given term with respect to this rewrite system.
 void Rule.setLhs(Term lhs)
          Sets the left-hand side of the rule.
 void Rule.setRhs(Term rhs)
          Sets the right-hand side of the rule.
static boolean UtilityFunctions.termIsEmbedded(Term t1, Term t2)
           
static Substitution UtilityFunctions.unify(Term t1, Term t2)
          Tries to unify two terms.
 

Method parameters in dpvis.datastructures with type arguments of type Term
 void Term.setSubterms(java.util.List<Term> subterms)
          Sets the (immediate) subterms of this term.
 

Uses of Term in dpvis.datastructures.impl
 

Methods in dpvis.datastructures.impl that return Term
static Term DSFactory.createMostGeneralTerm(java.lang.String function, int arity, java.util.List<java.lang.Integer> repMap)
          Creates the most general term for a function symbol with arity.
static Term DSFactory.createTerm(java.lang.String term)
          Creates a term from the given string representation.
static Term DSFactory.createTerm(java.lang.String function, java.util.List<Term> subterms, boolean variable)
          Constructs a new Term out of the given parameters.
static Term DSFactory.createTerm(java.lang.String function, java.util.List<Term> subterms, boolean forbidden, boolean variable)
          Constructs a new Term out of the given parameters.
static Term DSFactory.createTerm(Term term)
          Creates a deep copy of the given term.
 

Methods in dpvis.datastructures.impl with parameters of type Term
static Rule DSFactory.createRule(Term lhs, Term rhs)
          Constructs a new unconditional Rule out of the given parameters.
static Rule DSFactory.createRule(Term lhs, Term rhs, java.util.List<Rule> conditions)
          Constructs a new conditional Rule out of the given parameters.
static Term DSFactory.createTerm(Term term)
          Creates a deep copy of the given term.
 

Method parameters in dpvis.datastructures.impl with type arguments of type Term
static Term DSFactory.createTerm(java.lang.String function, java.util.List<Term> subterms, boolean variable)
          Constructs a new Term out of the given parameters.
static Term DSFactory.createTerm(java.lang.String function, java.util.List<Term> subterms, boolean forbidden, boolean variable)
          Constructs a new Term out of the given parameters.