a simple multivariate processΒΆ

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
{
	"scene" : {
		"node_count" : 2,
		"process_count" : 1,
		"state_space_shape" : [3, 3, 3],
		"tree" : {
			"row_nodes" : [0],
			"column_nodes" : [1],
			"edge_rate_scaling_factors" : [1],
			"edge_processes" : [0]
		},
		"root_prior" : {
			"states" : [[0, 0, 0]],
			"probabilities" : [1]
		},
		"process_definitions" : [{
			"row_states" : [[0, 0, 0]],
			"column_states" : [[0, 0, 1]],
			"transition_rates" : [1]
		}],
		"observed_data" : {
			"nodes" : [],
			"variables" : [],
			"iid_observations" : [[]]
		}
	},
	"requests" : [{"property" : "DNDROOT"}]
}

1
2
3
4
5
6
7
8
{
	"status": "feasible",
	"responses": [[[
		1.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
		0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
		0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0
	]]]
}

Note that in the output array, the multidimensional state space has been flattened to a single dimension.