Closed proofit404 closed 2 years ago
class A1State(State): a1v1 = Variable() class A2State(State): a2v1 = Variable() NewState = A1State & A2State
The NewState would have both a1v1 and a2v1 variables declared.
NewState
a1v1
a2v1
Implemented in #606
The
NewState
would have botha1v1
anda2v1
variables declared.