OCDeclareDiscoveryOptions
Options for the automatic discovery of OC-DECLARE constraints
Used as Input
1
function accept this type
Used as Output
0
functions return this type
Type Definition
26 nested items
OCDeclareDiscoveryOptions— Options for the automatic discovery of OC-DECLARE constraints
acts_to_use:Option<Vec<_>>— Activities to use for the discovery. If this is
None, all activities of the OCEL are used[items]:String
considered_arrow_types*:Vec<OCDeclareArcType>— The arrow types to consider when deriving the final constraints
counts_for_filter*:(Option<i64>, Option<i64>)— What min/max counts to use for the candidate filtering step (when the arrow type is determined)
[0]:Option<i64>
[1]:Option<i64>
counts_for_generation*:(Option<i64>, Option<i64>)— What min/max counts to use for the candidate generation steps
[0]:Option<i64>
[1]:Option<i64>
noise_threshold*:f64— Noise threshold (i.e., what fraction of events are allowed to violate a discovered constraint)
variant 1:"None"— O2O relationships are not considered at all
variant 2:"Direct"— Direct O2O relationships are considered (i.e., only one direction)
variant 3:"Reversed"— Reverse direction of O2O relationships are considered
variant 4:"Bidirectional"— O2O relationships and their inverse directions are considered
variant 1:"None"— Do not reduce constraints at all
variant 2:"Lossless"— Apply lossless reduction
variant 3:"Lossy"— Apply lossy reduction
refinement*:bool— Determines if the object involvement of discovered constraints should be made more precise/strict after initial discovery and reduction
Example JSON Value
{
"considered_arrow_types": [
"AS"
],
"counts_for_filter": [
1,
1
],
"counts_for_generation": [
1,
1
],
"noise_threshold": 0.2,
"o2o_mode": "None",
"reduction": "None",
"refinement": false
}