zeus.concepts
Class BindingsRecord

java.lang.Object
  zeus.concepts.BindingsRecord

class BindingsRecord

extends java.lang.Object

Field Summary

ValueFunction	lhs
ValueFunction	rhs

Constructor Summary

BindingsRecord(ValueFunction left, ValueFunction right)

Methods inherited from class java.lang.Object

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

Field Detail

lhs

public ValueFunction lhs

rhs

public ValueFunction rhs

Constructor Detail

BindingsRecord

public BindingsRecord(ValueFunction left,
                      ValueFunction right)