Counterexample¶

public class Counterexample¶

Fields¶

client¶

protected final APIClient client¶

handle¶

protected long handle¶

Constructors¶

Counterexample¶

protected Counterexample(APIClient client)¶

Methods¶

errorToString¶

public String errorToString()¶

fromProtobuf¶

public static Counterexample fromProtobuf(APIClient client, Out.CocoCounterexample inputValue)¶

getHandle¶

public final long getHandle()¶

getIsWarning¶

public final boolean getIsWarning()¶

getKind¶

public final io.cocotec.popili.coco.Kind getKind()¶

getLeafInstances¶

public final java.util.ArrayList<io.cocotec.popili.coco.BehaviouralInstance> getLeafInstances()¶

getTopLevelInstances¶

public final java.util.ArrayList<io.cocotec.popili.coco.Value> getTopLevelInstances()¶

title¶

public String title()¶

toString¶

public String toString()¶