Uses of Class
org.eclipse.palamedes.gdl.core.model.utils.TermWrapper

Packages that use TermWrapper

org.eclipse.palamedes.gdl.core.model.utils
org.eclipse.palamedes.gdl.core.resolver.javaprover
org.eclipse.palamedes.gdl.core.resolver.jocular

Uses of TermWrapper in org.eclipse.palamedes.gdl.core.model.utils

Fields in org.eclipse.palamedes.gdl.core.model.utils declared as TermWrapper

protected TermWrapper<NativeTerm>

TermDelegator.termwrapper

Constructors in org.eclipse.palamedes.gdl.core.model.utils with parameters of type TermWrapper

GenericFluent(TermWrapper<NativeTerm> term)

GenericMove(TermWrapper<NativeTerm> newMove)

TermDelegator(TermWrapper<NativeTerm> term)

Uses of TermWrapper in org.eclipse.palamedes.gdl.core.resolver.javaprover

Subclasses of TermWrapper in org.eclipse.palamedes.gdl.core.resolver.javaprover

class

TermAdapter

Uses of TermWrapper in org.eclipse.palamedes.gdl.core.resolver.jocular

Subclasses of TermWrapper in org.eclipse.palamedes.gdl.core.resolver.jocular

class

GroundFactTermAdapter