TPTPWorld

Class Binding

java.lang.Object

TPTPWorld.Binding

public class Binding
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
String	binding
Binding	next
String	variable

Constructor Summary

Constructors

Constructor and Description
Binding(String variable)
Binding(String variable, String binding)

Method Summary

Modifier and Type	Method and Description
Binding	addBinding(String bind)
static String	getBinding(String variable, ArrayList<Binding> binds)
String	getFinalBinding()

Methods inherited from class java.lang.Object

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

Field Detail

variable

public String variable

binding

public String binding

next

public Binding next

Constructor Detail

Binding

public Binding(String variable)

Binding

public Binding(String variable,
               String binding)

Method Detail

addBinding

public Binding addBinding(String bind)

getFinalBinding

public String getFinalBinding()

getBinding

public static String getBinding(String variable,
                                ArrayList<Binding> binds)