public CounterexampleBegin(ParcerFSM fsm)
: base(fsm)
{
}
public ParcerState(ParcerFSM fsm)
{
_fsm = fsm;
}
public CounterexampleEnd(ParcerFSM fsm)
: base(fsm)
{
}
public Fault(ParcerFSM fsm)
: base(fsm)
{
}
public LoopVariable(ParcerFSM fsm)
: base(fsm)
{
}
public LoopState(ParcerFSM fsm)
: base(fsm)
{
}
public LoopBeginState(ParcerFSM fsm)
: base(fsm)
{
}
public CounterexampleState(ParcerFSM fsm)
: base(fsm)
{
}
public CommentLine3(ParcerFSM fsm)
: base(fsm)
{
}