Package de.saar.chorus.domgraph.chart.lethal

Class WildcardTerm

java.lang.Object

de.saar.chorus.term.Term

de.saar.chorus.domgraph.chart.lethal.WildcardTerm

All Implemented Interfaces:

Serializable

public class WildcardTerm
extends de.saar.chorus.term.Term

Author:

koller

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
WildcardTerm(de.saar.chorus.term.Term sub)

Method Summary

Modifier and Type	Method	Description
protected boolean	buildMatchingSubstitution(de.saar.chorus.term.Term term, de.saar.chorus.term.Substitution sbstn)
protected void	buildTerm(de.saar.basic.tree.Tree<String> tree, String parent)
protected void	buildTermWithVariables(de.saar.basic.tree.Tree<de.saar.basic.StringOrVariable> tree, String parent)
de.saar.chorus.term.Term	getSubterm()
de.saar.chorus.term.Type	getType()
de.saar.chorus.term.Substitution	getUnifier(de.saar.chorus.term.Term term)
Set<de.saar.chorus.term.Variable>	getVariables()
boolean	hasSubterm(de.saar.chorus.term.Term term)
String	toLispString()
String	toString()
de.up.ling.tree.Tree<de.saar.basic.StringOrVariable>	toTreeWithVariables()

Methods inherited from class de.saar.chorus.term.Term

hashCode, isCompound, isConstant, isUnifiableWith, isVariable, match, substFor, substFor, toOldTreeWithVariables, toTree, unify

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

WildcardTerm

public WildcardTerm(de.saar.chorus.term.Term sub)

Method Details

getSubterm

public de.saar.chorus.term.Term getSubterm()

getType

public de.saar.chorus.term.Type getType()

Specified by:

getType in class de.saar.chorus.term.Term

hasSubterm

public boolean hasSubterm(de.saar.chorus.term.Term term)

Specified by:

hasSubterm in class de.saar.chorus.term.Term

getUnifier

public de.saar.chorus.term.Substitution getUnifier(de.saar.chorus.term.Term term)

Specified by:

getUnifier in class de.saar.chorus.term.Term

buildMatchingSubstitution

protected boolean buildMatchingSubstitution(de.saar.chorus.term.Term term,
 de.saar.chorus.term.Substitution sbstn)

Specified by:

buildMatchingSubstitution in class de.saar.chorus.term.Term

getVariables

public Set<de.saar.chorus.term.Variable> getVariables()

Specified by:

getVariables in class de.saar.chorus.term.Term

toLispString

public String toLispString()

Specified by:

toLispString in class de.saar.chorus.term.Term

toTreeWithVariables

public de.up.ling.tree.Tree<de.saar.basic.StringOrVariable> toTreeWithVariables()

Specified by:

toTreeWithVariables in class de.saar.chorus.term.Term

toString

public String toString()

Overrides:

toString in class Object

buildTermWithVariables

protected void buildTermWithVariables(de.saar.basic.tree.Tree<de.saar.basic.StringOrVariable> tree,
 String parent)

Specified by:

buildTermWithVariables in class de.saar.chorus.term.Term

buildTerm

protected void buildTerm(de.saar.basic.tree.Tree<String> tree,
 String parent)

Specified by:

buildTerm in class de.saar.chorus.term.Term