MissingSignalCounterexample

public class MissingSignalCounterexample extends BaseMissingSignalCounterexample

Constructors

MissingSignalCounterexample

protected MissingSignalCounterexample(APIClient client)

Internal constructor

Methods

errorMinAcc

public io.cocotec.coco.platform.coco.Event errorMinAcc()

fromProtobuf

public static MissingSignalCounterexample fromProtobuf(APIClient client, Out.CocoCounterexample inputValue)

Internal constructor

implAcceptsFunctionCalls

public boolean implAcceptsFunctionCalls()