public PredicateTransaction WriteTransaction(PredOutLoc writeLocation) { return(new PredicateTransaction(Value, new PredicateWriteTransaction(writeLocation, WriteIndex))); }
public PredicateWriteTransaction(PredOutLoc location, int index) { this.Location = location; this.Index = index; }