spot
0.8.2
|
clone() const =0 | spot::saba_state_conjunction | [pure virtual] |
current_state() const =0 | spot::saba_state_conjunction | [pure virtual] |
done() const =0 | spot::saba_state_conjunction | [pure virtual] |
first()=0 | spot::saba_state_conjunction | [pure virtual] |
next()=0 | spot::saba_state_conjunction | [pure virtual] |
~saba_state_conjunction() | spot::saba_state_conjunction | [inline, virtual] |