org.eclipse.palamedes.gdl.core.resolver.jocular
Class FluentAdapter

java.lang.Object
  org.eclipse.palamedes.gdl.core.model.utils.TermDelegator<NativeTerm>
      org.eclipse.palamedes.gdl.core.model.utils.GenericFluent<stanfordlogic.prover.Term>
          org.eclipse.palamedes.gdl.core.resolver.jocular.FluentAdapter

All Implemented Interfaces:

IFluent

public final class FluentAdapter
extends GenericFluent<stanfordlogic.prover.Term>

Field Summary

Fields inherited from class org.eclipse.palamedes.gdl.core.model.utils.TermDelegator

termwrapper

Constructor Summary

FluentAdapter(stanfordlogic.gdl.SymbolTable symbolTable, stanfordlogic.prover.Term expr)

Method Summary

Methods inherited from class org.eclipse.palamedes.gdl.core.model.utils.TermDelegator

equals, getName, getNativeTerm, getTerm, hashCode, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.palamedes.gdl.core.model.IFluent

equals, getName, getTerm, hashCode

Constructor Detail

FluentAdapter

public FluentAdapter(stanfordlogic.gdl.SymbolTable symbolTable,
                     stanfordlogic.prover.Term expr)