TraceRefinementCounterexample¶

public class TraceRefinementCounterexample extends BaseTraceRefinementCounterexample ¶

Constructors¶

TraceRefinementCounterexample¶

protected TraceRefinementCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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