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.
void	Term.substituteAt(java.util.List<java.lang.Integer> pos, Term substitute) Substitutes the given substitute term for the subterm of this term at the specified position.
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

Classes in dpvis.datastructures.impl that implement Term

class

TermImpl

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.
Term	RuleImpl.getLhs()
Term	RuleImpl.getRhs()

Methods in dpvis.datastructures.impl that return types with arguments of type Term

java.util.Set<Term>	TermImpl.getAllForbiddenSubterms(boolean include)
java.util.List<Term>	TermImpl.getAllowedSubtermsWithRoot(java.util.List<java.lang.String> rootSymbols)
java.util.List<Term>	TermImpl.getSubterms()
java.util.Set<Term>	TermImpl.getSubtermsOfSignature(java.util.Set<java.lang.String> signature)
java.util.Set<Pair<Term,Substitution>>	TermImpl.narrow(RewriteSystem trs, int variablePrefixCounter, boolean root, Strategy strat)
java.util.List<Term>	RewriteSystemImpl.narrow(Term t)

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.
boolean	TermImpl.isProperSubterm(Term potentialSubterm)
boolean	TermImpl.isSubterm(Term potentialSubterm)
java.util.List<Term>	RewriteSystemImpl.narrow(Term t)
void	RuleImpl.setLhs(Term lhs)
void	RuleImpl.setRhs(Term rhs)
void	TermImpl.substituteAt(java.util.List<java.lang.Integer> pos, Term substitute)

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.
void	TermImpl.setSubterms(java.util.List<Term> subterms)

Constructors in dpvis.datastructures.impl with parameters of type Term

RuleImpl(Term lhs, Term rhs)

RuleImpl(Term lhs, Term rhs, java.util.List<Rule> conditions)

TermImpl(Term t)

Constructor parameters in dpvis.datastructures.impl with type arguments of type Term

TermImpl(java.lang.String function, java.util.List<Term> subterms, boolean variable)

TermImpl(java.lang.String function, java.util.List<Term> subterms, boolean forbidden, boolean variable)