ProjectCounterexample¶

public class ProjectCounterexample¶

Constructors¶

ProjectCounterexample¶

protected ProjectCounterexample(APIClient client)¶

Methods¶

fromProtobuf¶

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

getContext¶

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

getCounterexamples¶

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