com.declarativa.interprolog.util

Class GoalFromJava

java.lang.Object

com.declarativa.interprolog.util.GoalFromJava

All Implemented Interfaces:

Serializable

public class GoalFromJava
extends Object
implements Serializable

Represents a goal from Java, called through deterministicGoal

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
GoalFromJava(int t, String G, String OVar, Object[] objects, String RVars)

Method Summary

Modifier and Type	Method and Description
String	getGoal()
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GoalFromJava

public GoalFromJava(int t,
                    String G,
                    String OVar,
                    Object[] objects,
                    String RVars)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getGoal

public String getGoal()