- All Implemented Interfaces:
- java.io.Serializable
public class StarPropertyBinding
extends java.lang.Object
implements java.io.Serializable
The StarPropertyBinding class exists only to record a binding that is made
during Example Generation between a particular value and an Individual or a
MathVariable. The primary purpose of a StarPropertyBinding is to keep track
of the bindings made at a particular level of the call stack when generating.
If a failure occurs at this or a lower level, it will be necessary to un-do
these bindings as part of the back-tracking process.
- See Also:
- Serialized Form