ProjectCounterexample¶

public class ProjectCounterexample¶

Constructors¶

ProjectCounterexample¶

protected ProjectCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

public static ProjectCounterexample fromProtobuf(APIClient client, Out.CocoIdeProjectCounterexample inputValue)¶: Internal constructor

getContext¶

public final io.cocotec.popili.coco.ide.ProjectContext getContext()¶

getCounterexamples¶

public final java.util.ArrayList<io.cocotec.popili.coco.Counterexample> getCounterexamples()¶