complement(DESCo, DES, auxiliary event)

creates complement of DES

Name	Type	Description	Default
`DESCo`	string	name of DES that the marked behaviour is the complement of the marked behaviour of the original DES.	required
`DES`	string	name of original DES	required
`auxiliary event`	list	list of events that are not in the original DES, added to complement.	required

Example

sample 1

delta = [
    (0, 10, 1),
    (1, 11, 0),
]
Qm = [0]
pytct.create("G", 2, delta, Qm)

pytct.complement("Gco", "G", [])

sample 2

delta = [
    (0, 10, 1),
    (1, 11, 0),
]
Qm = [0]
pytct.create("G", 2, delta, Qm)

pytct.complement("Gco", "G", [12,13])