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

Packages that use IReasoner

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

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

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

IReasoner

IGame.getReasoner() Returns the reasoner that is used for this game.

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

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

protected IReasoner

Game.reasoner

Methods in org.eclipse.palamedes.gdl.core.model.utils that return IReasoner

IReasoner

Game.getReasoner()

Methods in org.eclipse.palamedes.gdl.core.model.utils with parameters of type IReasoner

protected void

Game.init(java.lang.String gdl, IReasoner initReasoner)

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

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

class

ReasonerAdapter