Note

You are not reading the most recent version of this documentation. 1.4.7 is the latest version available.

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