undeclareVariable -- clears assignment of an input gate to a variable name

• Usage:

  undeclareVariable x

• Inputs:
  • x, a symbol, or an IndexedVariable
• Outputs:
  • an instance of the type InputGate,

i1 : declareVariable x

o1 = x

o1 : InputGate

i2 : x + 1

o2 = (x + 1)

o2 : SumGate

i3 : undeclareVariable x

o3 = x

o3 : Symbol

i4 : x

o4 = x

o4 : Symbol