Uses of Interface
org.eclipse.palamedes.gdl.core.model.IFluent

Packages that use IFluent

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

Uses of IFluent in org.eclipse.palamedes.gdl.core.model

Methods in org.eclipse.palamedes.gdl.core.model that return IFluent

IFluent

IReasoner.createFluent(java.lang.String fluentStr) This method should return a valid FluentAdapter for this reasoner.

Methods in org.eclipse.palamedes.gdl.core.model that return types with arguments of type IFluent

java.util.List<IFluent>	IGameState.getFluentByName(java.lang.String name) Returns the fluents with the given name.
java.util.List<IFluent>	IGameState.getFluents() Returns a list containing all fluents of the game state.

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

Classes in org.eclipse.palamedes.gdl.core.model.utils that implement IFluent

class

GenericFluent<NativeTerm>

Fields in org.eclipse.palamedes.gdl.core.model.utils with type parameters of type IFluent

protected java.util.Map<java.lang.String,java.util.List<IFluent>>	AbstractState.fluentMap
protected java.util.List<IFluent>	AbstractState.fluents

Methods in org.eclipse.palamedes.gdl.core.model.utils that return types with arguments of type IFluent

java.util.List<IFluent>	AbstractState.getFluentByName(java.lang.String name)
java.util.List<IFluent>	AbstractState.getFluents()

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

Classes in org.eclipse.palamedes.gdl.core.resolver.javaprover that implement IFluent

class

FluentAdapter

Methods in org.eclipse.palamedes.gdl.core.resolver.javaprover that return IFluent

IFluent

ReasonerAdapter.createFluent(java.lang.String fluentStr)

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

Methods in org.eclipse.palamedes.gdl.core.resolver.jocular that return IFluent

IFluent

ReasonerAdapter.createFluent(java.lang.String gdlString)

Uses of IFluent in org.eclipse.palamedes.gdl.core.resolver.prologprover

Methods in org.eclipse.palamedes.gdl.core.resolver.prologprover that return IFluent

IFluent

ReasonerAdapter.createFluent(java.lang.String fluentStr)