IllegalLegalOverlapCounterexample¶

public class IllegalLegalOverlapCounterexample extends BehaviourComparisonCounterexample ¶

Constructors¶

IllegalLegalOverlapCounterexample¶

protected IllegalLegalOverlapCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

public static IllegalLegalOverlapCounterexample fromProtobuf(APIClient client, Out.CocoCounterexample inputValue)¶: Internal constructor