Product
About
Support
Documentation
Downloads
Help
Status
Login
Login avatar
Cocotec
Cocotec
All systems go
Popili Tooling
›
API
›
Java API
›
Javadoc
›
io.cocotec.popili.coco
›
BehaviourComparisonCounterexample
Choose a version:
Version: Stable
Version: 1.5
Version: 1
Version: Testing
Version: 1.4
Version: 1.3
Version: 1.2
Version: 1.1
Version: 1.0
Introduction
Getting Started
Coco Language Reference
Introductory Tutorial
Coco C++
Popili Tooling
Eclipse
VS Code
Command-Line Tools
API
.NET API
Java API
Javadoc
Installing
Getting Started
EMF
Implementation
Licensing
General Advice
Schemas
Status
Versioning
Release Notes
Index
Popili Documentation
BehaviourComparisonCounterexample
¶
public class
BehaviourComparisonCounterexample
extends
Counterexample
¶
Constructors
¶
BehaviourComparisonCounterexample
¶
protected
BehaviourComparisonCounterexample
(
APIClient
client
)
¶
Internal constructor
Methods
¶
behaviour1
¶
public io.cocotec.
popili
.
coco
.
Behaviour
behaviour1
(
)
¶
behaviour2
¶
public io.cocotec.
popili
.
coco
.
Behaviour
behaviour2
(
)
¶
fromProtobuf
¶
public static
BehaviourComparisonCounterexample
fromProtobuf
(
APIClient
client
,
Out
.CocoCounterexample
inputValue
)
¶
Internal constructor