org.eclipse.palamedes.gdl.core.resolver.prologprover
Class EclipseConnector

java.lang.Object
  org.eclipse.palamedes.gdl.core.resolver.prologprover.EclipseConnector

public class EclipseConnector
extends java.lang.Object

Field Summary

protected com.parctechnologies.eclipse.EmbeddedEclipse

eclipse

Method Summary

int	getGoalValue(com.parctechnologies.eclipse.CompoundTerm role, java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> state)
java.util.Collection<com.parctechnologies.eclipse.CompoundTerm>	getInitialState()
static EclipseConnector	getInstance()
java.util.Collection<com.parctechnologies.eclipse.CompoundTerm>	getLegalMoves(com.parctechnologies.eclipse.CompoundTerm role, java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> state)
java.util.Collection<com.parctechnologies.eclipse.CompoundTerm>	getNextState(java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> movesList, java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> state)
java.util.Collection<com.parctechnologies.eclipse.CompoundTerm>	getRoles()
void	initEclipse()
boolean	isTerminal(java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> state)
void	parseGDL(java.lang.String gameDescription)
com.parctechnologies.eclipse.CompoundTerm	parseTerm(java.lang.String s)
java.lang.String	toGdlString(java.lang.Object prologTerm)

Methods inherited from class java.lang.Object

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

Field Detail

eclipse

protected com.parctechnologies.eclipse.EmbeddedEclipse eclipse

Method Detail

getInstance

public static EclipseConnector getInstance()

initEclipse

public void initEclipse()

parseTerm

public com.parctechnologies.eclipse.CompoundTerm parseTerm(java.lang.String s)

toGdlString

public java.lang.String toGdlString(java.lang.Object prologTerm)

getGoalValue

public int getGoalValue(com.parctechnologies.eclipse.CompoundTerm role,
                        java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> state)

getLegalMoves

public java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> getLegalMoves(com.parctechnologies.eclipse.CompoundTerm role,
                                                                                     java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> state)

getNextState

public java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> getNextState(java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> movesList,
                                                                                    java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> state)

isTerminal

public boolean isTerminal(java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> state)

parseGDL

public void parseGDL(java.lang.String gameDescription)

getInitialState

public java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> getInitialState()

getRoles

public java.util.Collection<com.parctechnologies.eclipse.CompoundTerm> getRoles()