dftlib.transformer.rewrite_rules.RewriteRules¶

class RewriteRules(*values)¶

Bases: Enum

Rewrite rules. Numbers < 30 correspond to the rewrite rule number in “Fault trees on a diet”.

Methods

get_function

Attributes

`SPLIT_FDEPS`
`MERGE_BES`
`TRIM`
`REMOVE_DEPENDENCIES_TLE`
`REMOVE_DUPLICATES`
`FACTOR_COMMON_CAUSE`
`MERGE_IDENTICAL_GATES`
`REMOVE_SINGLE_SUCCESSOR`
`ADD_SINGLE_OR`
`FLATTEN_GATE`
`SUBSUME_GATE`
`REPLACE_FDEP_BY_OR`
`REMOVE_SUPERFLUOUS_FDEP`
`REMOVE_SUPERFLUOUS_FDEP_SUCCESSORS`