phV SrSSKrSSKrSSKJr SSKJr SSKJ r SSK J r \Rr S$SjrS rS rS rS rS rSrSrSrSrSrSrSrSrSrSrSrSrSr Sr!Sr"Sr#Sr$S\"4-ur%r&r'r(\r)S r*S!r+S"r,S#r-g)%zE Example networks and subsystems to go along with the documentation. N) Transition)Network) Subsystem) all_statesc [R"/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5nUSLa [R"/SQ/SQ/SQ/5nOSn[X[SURS S 9$) aA 3-node network of logic gates. Diagram:: +~~~~~~~~+ +~~~~>| A |<~~~~+ | | (OR) +~~~+ | | +~~~~~~~~+ | | | | | | v | +~+~~~~~~+ +~~~~~+~+ | B |<~~~~~~+ C | | (COPY) +~~~~~~>| (XOR) | +~~~~~~~~+ +~~~~~~~+ TPM: +----------------+---------------+ | Previous state | Current state | +----------------+---------------+ | A, B, C | A, B, C | +================+===============+ | 0, 0, 0 | 0, 0, 0 | +----------------+---------------+ | 1, 0, 0 | 0, 0, 1 | +----------------+---------------+ | 0, 1, 0 | 1, 0, 1 | +----------------+---------------+ | 1, 1, 0 | 1, 0, 0 | +----------------+---------------+ | 0, 0, 1 | 1, 1, 0 | +----------------+---------------+ | 1, 0, 1 | 1, 1, 1 | +----------------+---------------+ | 0, 1, 1 | 1, 1, 1 | +----------------+---------------+ | 1, 1, 1 | 1, 1, 0 | +----------------+---------------+ Connectivity matrix: +---+---+---+---+ | . | A | B | C | +---+---+---+---+ | A | 0 | 0 | 1 | +---+---+---+---+ | B | 1 | 0 | 1 | +---+---+---+---+ | C | 1 | 1 | 0 | +---+---+---+---+ .. note:: |CM[i][j] = 1| means that there is a directed edge |(i,j)| from node |i| to node |j| and |CM[i][j] = 0| means there is no edge from |i| to |j|. rrrrrrrrrrrrrrrrrrFNrcm node_labelsnparrayrLABELSshape)rtpms H/home/james-whalen/.local/lib/python3.13/site-packages/pyphi/examples.py basic_networkrsxr ((  C U{ XX       36-399Q<+@ AAcg)z| A |<~~~~+ | | (OR) +~~~+ | | +~~~~~~~~+ | | | | | | v | +~+~~~~~~+ +~~~~~+~+ | B |<~~~~~~+ C | +>| (COPY) +~~~~~~>| (XOR) |<+ | +~~~~~~~~+ +~~~~~~~+ | | | | | +~~~+ +~~~+ )gMbX?RQ?Zd;?) rh?r$x&1?)r&Q?r')ʡE?r(r%)r)Gz?r%)g+?r*r'r r)rrrrrrs rbasic_noisy_selfloop_networkr-tsZ2 ((  C  B 3 rc@[5n[5n[X5$)zbA subsystem containing all the nodes of the :func:`~pyphi.examples.basic_noisy_selfloop_network`. )r-rrrs rbasic_noisy_selfloop_subsystemr/s ' (C ME S  rc ^[R"[S5VVs/sH@n[U5SSR S5SSS2Vs/sHn[ U5PM snPMB snn5nSU[R "[R"USS2SS24S5S:H5S4'SU[R "[R"USS2S S24S5S:H5S4'SU[R "[R"USS2SS24S5S:5S4'SU[R "[R"USS2S S24S5S:5S4'[R"S 5nSUSS2S4'SUS S2S4'[X#[SURSS 9$s snfs snnf) aThe network for the residue example. Current and previous state are all nodes OFF. Diagram:: +~~~~~~~+ +~~~~~~~+ | A | | B | +~~>| (AND) | | (AND) |<~~+ | +~~~~~~~+ +~~~~~~~+ | | ^ ^ | | | | | | +~~~~~+ +~~~~~+ | | | | | +~~~+~~~+ +~+~~~+~+ +~~~+~~~+ | C | | D | | E | | | | | | | +~~~~~~~+ +~~~~~~~+ +~~~~~~~+ Connectivity matrix: +---+---+---+---+---+---+ | . | A | B | C | D | E | +---+---+---+---+---+---+ | A | 0 | 0 | 0 | 0 | 0 | +---+---+---+---+---+---+ | B | 0 | 0 | 0 | 0 | 0 | +---+---+---+---+---+---+ | C | 1 | 0 | 0 | 0 | 0 | +---+---+---+---+---+---+ | D | 1 | 1 | 0 | 0 | 0 | +---+---+---+---+---+---+ | E | 0 | 1 | 0 | 0 | 0 | +---+---+---+---+---+---+ Nrr)r3r3r) rrrangebinzfillintwheresumzerosrrr)xsrrs rresidue_networkr@sH ((=B2Y=FQ))!,TrT232AQ23Y C67CAB!G a(A-.1256CAB!G a(A-.1245CAB!G a(1,-q0145CAB!G a(1,-q01 & BBqsAvJBqr1uI 36-399Q<+@ AA 4s+F) F$F) $F) c0[5nSn[X5$)zWThe subsystem containing all the nodes of the :func:`~pyphi.examples.residue_network`. rrrrr)r@rrs rresidue_subsystemrCs  C E S  rc [R"/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5n[R"/SQ/SQ/SQ/5n[X[SURSS9$)a5A fully connected system of three XOR gates. In the state ``(0, 0, 0)``, none of the elementary mechanisms exist. Diagram:: +~~~~~~~+ +~~~~~~~+ | A +<~~~~~~+ B | | (XOR) +~~~~~~>| (XOR) | +~+~~~~~+ +~~~~~+~+ | ^ ^ | | | +~~~~~~~+ | | | +~~~+ C +~~~+ | +~~~~>| (XOR) +<~~~~+ +~~~~~~~+ Connectivity matrix: +---+---+---+---+ | . | A | B | C | +---+---+---+---+ | A | 0 | 1 | 1 | +---+---+---+---+ | B | 1 | 0 | 1 | +---+---+---+---+ | C | 1 | 1 | 0 | +---+---+---+---+ r rrrr r Nrrrr,s r xor_networkrFsk8 ((  C  B 36-399Q<+@ AArc0[5nSn[X5$)zSThe subsystem containing all the nodes of the :func:`~pyphi.examples.xor_network`. r )rFrrs r xor_subsystemrHs -C E S  rcJ[R"/SQ/SQ/SQ/SQ/5nU$)a;A system of two general logic gates A and B such if they are in the same state they stay the same, but if they are in different states, they flip with probability 50%. Diagram:: +~~~~~+ +~~~~~+ | A |<~~~~~~~~+ B | | +~~~~~~~~>| | +~~~~~+ +~~~~~+ TPM: +------+------+------+------+------+ | |(0, 0)|(1, 0)|(0, 1)|(1, 1)| +------+------+------+------+------+ |(0, 0)| 1.0 | 0.0 | 0.0 | 0.0 | +------+------+------+------+------+ |(1, 0)| 0.0 | 0.5 | 0.5 | 0.0 | +------+------+------+------+------+ |(0, 1)| 0.0 | 0.5 | 0.5 | 0.0 | +------+------+------+------+------+ |(1, 1)| 0.0 | 0.0 | 0.0 | 1.0 | +------+------+------+------+------+ Connectivity matrix: +---+---+---+ | . | A | B | +---+---+---+ | A | 0 | 1 | +---+---+---+ | B | 1 | 0 | +---+---+---+ )?rKrK)rK?rLrK)rKrKrKrJrrrs rcond_depend_tpmrOs+H ((  C Jrc b[R"/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5nU$)a A system of three general logic gates A, B and C such that: if A and B are in the same state then they stay the same; if they are in different states, they flip if C is ON and stay the same if C is OFF; and C is ON 50% of the time, independent of the previous state. Diagram:: +~~~~~+ +~~~~~+ | A +~~~~~~~~>| B | | |<~~~~~~~~+ | +~+~~~+ +~~~+~+ | ^ ^ | | | +~~~~~+ | | | ~~~~+ C +~~~+ | +~~~~>| |<~~~~+ +~~~~~+ TPM: +---------+---------+---------+---------+---------+---------+---------+---------+---------+ | |(0, 0, 0)|(1, 0, 0)|(0, 1, 0)|(1, 1, 0)|(0, 0, 1)|(1, 0, 1)|(0, 1, 1)|(1, 1, 1)| +---------+---------+---------+---------+---------+---------+---------+---------+---------+ |(0, 0, 0)| 0.5 | 0.0 | 0.0 | 0.0 | 0.5 | 0.0 | 0.0 | 0.0 | +---------+---------+---------+---------+---------+---------+---------+---------+---------+ |(1, 0, 0)| 0.0 | 0.5 | 0.0 | 0.0 | 0.0 | 0.5 | 0.0 | 0.0 | +---------+---------+---------+---------+---------+---------+---------+---------+---------+ |(0, 1, 0)| 0.0 | 0.0 | 0.5 | 0.0 | 0.0 | 0.0 | 0.5 | 0.0 | +---------+---------+---------+---------+---------+---------+---------+---------+---------+ |(1, 1, 0)| 0.0 | 0.0 | 0.0 | 0.5 | 0.0 | 0.0 | 0.0 | 0.5 | +---------+---------+---------+---------+---------+---------+---------+---------+---------+ |(0, 0, 1)| 0.5 | 0.0 | 0.0 | 0.0 | 0.5 | 0.0 | 0.0 | 0.0 | +---------+---------+---------+---------+---------+---------+---------+---------+---------+ |(1, 0, 1)| 0.0 | 0.0 | 0.5 | 0.0 | 0.0 | 0.0 | 0.5 | 0.0 | +---------+---------+---------+---------+---------+---------+---------+---------+---------+ |(0, 1, 1)| 0.0 | 0.5 | 0.0 | 0.0 | 0.0 | 0.5 | 0.0 | 0.0 | +---------+---------+---------+---------+---------+---------+---------+---------+---------+ |(1, 1, 1)| 0.0 | 0.0 | 0.0 | 0.5 | 0.0 | 0.0 | 0.0 | 0.5 | +---------+---------+---------+---------+---------+---------+---------+---------+---------+ Connectivity matrix: +---+---+---+---+ | . | A | B | C | +---+---+---+---+ | A | 0 | 1 | 0 | +---+---+---+---+ | B | 1 | 0 | 0 | +---+---+---+---+ | C | 1 | 1 | 0 | +---+---+---+---+ )rLrKrKrKrLrKrKrK)rKrLrKrKrKrLrKrK)rKrKrLrKrKrKrLrK)rKrKrKrLrKrKrKrLrMrNs rcond_independ_tpmrQJs7h ((00000000  C Jrc pSnSU-n[R"X45n[[U55Hup4[ U5Vs/sHnSPM nnUSS:Xd USS:XaSUS'USS:Xa SUS'SUS'USS:Xa SUS'SUS'USSUS - s=:XaS:XaO OSUS'USS:XaUSS:XaSUS 'US S:Xa SUS 'SUS'XbUS S 24'M [R "/S Q/S Q/SQ/SQ/SQ/S Q/SQ/SQ/SQ/ 5n[ X'[S URSS9$s snf)a A version of the primary example from the IIT 3.0 paper with deterministic COPY gates on each connection. These copy gates essentially function as propagation delays on the signal between OR, AND and XOR gates from the original system. The current and previous states of the network are also selected to mimic the corresponding states from the IIT 3.0 paper. Diagram:: +----------+ +------------------+ C (COPY) +<----------------+ v +----------+ | +-------+-+ +-+-------+ | | +----------+ | | | A (OR) +--------------->+ B (COPY) +-------------->+ D (XOR) | | | +----------+ | | +-+-----+-+ +-+-----+-+ | ^ ^ | | | | | | | +----------+ +----------+ | | | +---+ H (COPY) +<----+ +---->+ F (COPY) +---+ | | +----------+ | | +----------+ | | | | | | +-+-----+-+ | | +----------+ | | +----------+ | +-------->+ I (COPY) +-->| G (AND) |<--+ E (COPY) +<--------+ +----------+ | | +----------+ +---------+ Connectivity matrix: +---+---+---+---+---+---+---+---+---+---+ | . | A | B | C | D | E | F | G | H | I | +---+---+---+---+---+---+---+---+---+---+ | A | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | +---+---+---+---+---+---+---+---+---+---+ | B | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | +---+---+---+---+---+---+---+---+---+---+ | C | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | +---+---+---+---+---+---+---+---+---+---+ | D | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | +---+---+---+---+---+---+---+---+---+---+ | E | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | +---+---+---+---+---+---+---+---+---+---+ | F | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | +---+---+---+---+---+---+---+---+---+---+ | G | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | +---+---+---+---+---+---+---+---+---+---+ | H | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | +---+---+---+---+---+---+---+---+---+---+ | I | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | +---+---+---+---+---+---+---+---+---+---+ States: In the IIT 3.0 paper example, the previous state of the system has only the XOR gate ON. For the propagation delay network, this corresponds to a state of ``(0, 0, 0, 1, 0, 0, 0, 0, 0)``. The current state of the IIT 3.0 example has only the OR gate ON. By advancing the propagation delay system two time steps, the current state ``(1, 0, 0, 0, 0, 0, 0, 0, 0)`` is achieved, with corresponding previous state ``(0, 0, 1, 0, 1, 0, 0, 0, 0)``. r2rrr6r5r3N) rrrrrrrrr) rrrrrrrrr) rrrrrrrrr) rrrrrrrrr) rrrrrrrrr) rrrrrrrrrr rr= enumeraterr7rrrr) num_nodes num_statesrprevious_state_indexpreviousi current_staters rpropagation_delay_networkr_s~FIiJ ((J* +C*3Jy4I*J&$))$45$4q$4 5 A;! x{a/ M!  A;!  M!  M!  A;!  M!  M!  A;!hqk/ .Q . M!  A;!  q 0 M!  A;!  M!  M! '4 ! #$#+K& .........0 1B 36-399Q<+@ AA96s D3c[R"/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5n[U[SURSS9$)zmA network of micro elements which has greater integrated information after coarse graining to a macro scale. )333333?rarara)rararJrJ)rJrJrara)rJrJrJrJNrrrrNs r macro_networkrcse ((((((((((((((((((* +C 3F=CIIaL$9 ::rc0[5nSn[X5$)zOA subsystem containing all the nodes of :func:`~pyphi.examples.macro_network`. rrrr)rcrrs rmacro_subsystemrf s /C E S  rc SnSU-n[R"X45n[[U55H}up4[ U5Vs/sHnSPM nnUSS:Xa SUS'SUS'USS:XaUS(aSUS'USS:Xa SUS'SUS'USS:XaUSS:XaSUS'XbUSS24'M [R "/S Q/S Q/S Q/S Q/S Q/S Q/5n[ X'[SURSS 9$s snf)a^A micro-network to demonstrate blackboxing. Diagram:: +----------+ +-------------------->+ A (COPY) + <---------------+ | +----------+ | | +----------+ | | +-----------+ B (COPY) + <-------------+ | v v +----------+ | | +-+-----+-+ +-+-----+-+ | | | | | C (AND) | | F (AND) | | | | | +-+-----+-+ +-+-----+-+ | | ^ ^ | | +----------+ | | | +---------> + D (COPY) +---------------+ | | +----------+ | | +----------+ | +-------------------> + E (COPY) +-----------------+ +----------+ Connectivity Matrix: +---+---+---+---+---+---+---+ | . | A | B | C | D | E | F | +---+---+---+---+---+---+---+ | A | 0 | 0 | 1 | 0 | 0 | 0 | +---+---+---+---+---+---+---+ | B | 0 | 0 | 1 | 0 | 0 | 0 | +---+---+---+---+---+---+---+ | C | 0 | 0 | 0 | 1 | 1 | 0 | +---+---+---+---+---+---+---+ | D | 0 | 0 | 0 | 0 | 0 | 1 | +---+---+---+---+---+---+---+ | E | 0 | 0 | 0 | 0 | 0 | 1 | +---+---+---+---+---+---+---+ | F | 1 | 1 | 0 | 0 | 0 | 0 | +---+---+---+---+---+---+---+ In the documentation example, the state is (0, 0, 0, 0, 0, 0). rVr2rr3rr6r5Nrrrrrr)rrrrrr)rrrrrrrrrrrrrbrW)rYrZrindexprevious_stater]r^rs rblackbox_networkrls/ZIiJ ((J* +C!*:i+@!A$))$45$4q$4 5 !  ! M!  M!  !  !nQ&7 M!  !  ! M!  M!  !  !nQ&71&< M! %E1H "B   B 3} ! (= >>-6s C:c [R"/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5n[U[SURSS9$) zA network of three elements which follows the logic of the Rule 110 cellular automaton with current and previous state (0, 0, 0). r r r rrENrrbrrNs rrule110_networkrn^sL ((I C 3F=CIIaL$9 ::rc[R"//SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/S QP/S QP/S QP/S QP/S QP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/S QP5n[R"/SQ/SQ/SQ/SQ/SQ/5n[X[S!URS"S#9$)$zXA network of three elements which follows the logic of the Rule 154 cellular automaton. rB)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrr)rrrrrNrrrr,s rrule154_networkrpms ((!!! !  !  !  ! ! ! ! ! ! ! ! ! ! !!" #!$ %!& '!( )!* +!, -!. /!0 1!2 3!4 5!6 7!8 9!: ;!< =!> ?!@ A!! CD   B 36-399Q<+@ AArc [R"//SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP5n[R"/S Q/SQ/S Q/SQ/SQ/SQ/5n[X[S URS S 9$)z9The network shown in Figure 1A of the 2014 IIT 3.0 paper.)rrrrrrrh)rrrrrr)rrrrrr)rrrrrr)rrrrrr)rrrrrr)rrrrrr)rrrrrrriNrrrr,s rfig1arrs[ ((AAA A  A  A  A A A A A A A A A A !A" #A$ %A& 'A( )A* +A, -A. /A0 1A2 3A4 5A6 7A8 9A: ;A< =A> ?A@ AAB CAD EAF GAH IAJ KAL MAN OAP QAR SAT UAV WAX YAZ [A\ ]A^ _A` aAb cAd eAf gAh iAj kAl mAn oAp qAr sAt uAv wAx yAz {A| }A~ A@ AAA CD   B 36-399Q<+@ AArc[R"/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5n[R"/SQ/SQ/SQ/SQ/5n[X[SURSS9$)z9The network shown in Figure 3A of the 2014 IIT 3.0 paper.)rLrrrrerrrrNrrrr,s rfig3arus ((! C$   B 36-399Q<+@ AArc[R"/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5n[R"/SQ/SQ/SQ/SQ/5n[X[SURSS9$)z9The network shown in Figure 3B of the 2014 IIT 3.0 paper.rertNrrrr,s rfig3brw s ((! C$   B 36-399Q<+@ AArc [R"/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5n[R"/SQ/SQ/SQ/5n[X[SURS S 9$) a`The network shown in Figure 4 of the 2014 IIT 3.0 paper. Diagram:: +~~~~~~~+ +~~~~>| A |<~~~~+ | +~~~+ (OR) +~~~+ | | | +~~~~~~~+ | | | | | | | v v | +~+~~~~~+ +~~~~~+~+ | B |<~~~~~~+ C | | (AND) +~~~~~~>| (XOR) | +~~~~~~~+ +~~~~~~~+ r r r r rr rENrrrr,s rfig4ry&sk" ((  C  B 36-399Q<+@ AArc [R"/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5n[R"/SQ/SQ/SQ/5n[X[SURSS 9$) aRThe network shown in Figure 5A of the 2014 IIT 3.0 paper. Diagram:: +~~~~~~~+ +~~~~>| A |<~~~~+ | | (AND) | | | +~~~~~~~+ | | | +~~+~~~~~+ +~~~~~+~~+ | B |<~~~~~~+ C | | (COPY) +~~~~~~>| (COPY) | +~~~~~~~~+ +~~~~~~~~+ r r rrrrr r Nrrrr,s rfig5ar|Ik ((  C  B 36-399Q<+@ AArc [R"/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5n[R"/SQ/SQ/SQ/5n[X[SURS S 9$) aNThe network shown in Figure 5B of the 2014 IIT 3.0 paper. Diagram:: +~~~~~~~+ +~~~~+ A +~~~~+ | | (AND) | | | +~~~~~~~+ | v v +~~~~~~~~+ +~~~~~~~~+ | B |<~~~~~~+ C | | (COPY) +~~~~~~>| (COPY) | +~~~~~~~~+ +~~~~~~~~+ r rr r rEr r{Nrrrr,s rfig5brkr}rr5c [R"//SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/S QP/S QP/S QP/S QP/S QP/S QP/SQP/SQP/S QP/S QP/S QP/S QP/S QP/S QP/SQP/SQP/S QP/S QP/S QP/S QP/S QP/S QP/S QP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/S QP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/SQP/S QP/S!QP/S"QP/S"QP/S#QP/S!QP/S$QP/SQP/S QP/S!QP/S"QP/S"QP/S!QP/S!QP/S"QP/SQP/S QP/S!QP/S"QP/S"QP/S#QP/S!QP/S$QP5n[R"/S%Q/SQ/S&Q/S'Q/SQ/SQ/SQ/5n[X[S(URS)S*9$)+z9The network shown in Figure 5B of the 2014 IIT 3.0 paper.)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrr)rrrrrrrNrrrr,s rfig16rs ((AAA A  A  A  A A A A A A A A A A !A" #A$ %A& 'A( )A* +A, -A. /A0 1A2 3A4 5A6 7A8 9A: ;A< =A> ?A@ AAB CAD EAF GAH IAJ KAL MAN OAP QAR SAT UAV WAX YAZ [A\ ]A^ _A` aAb cAd eAf gAh iAj kAl mAn oAp qAr sAt uAv wAx yAz {A| }A~ A@ AAB CAD EAF GAH IAJ KAL MAN OAP QAR SAT UAV WAX YAZ [A\ ]A^ _A` aAb cAd eAf gAh iAj kAl mAn oAp qAr sAt uAv wAx yAz {A| }A~ A@ AAB CAD EAF GAH IAJ KAL MAN OAP QAR SAT UAV WAX YAZ [A\ ]A^ _A` aAb cAd eAf gAh iAj kAl mAn oAp qAr sAt uAv wAx yAz {A| }A~ A@ AAA CD  B 36-399Q<+@ AArc[R"/SQ/SQ/SQ/SQ/5n[R"SS/SS//5n[XSS9$)z`The actual causation example network, consisting of an ``OR`` and ``AND`` gate with self-loops. rt)rrrrrrrrr)ORANDrbr+r,s ractual_causationr'sU ((  C  A A B 3 66rc[R"/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5n[R"/SQ/SQ/SQ/SQ/5n[X[SURSS9$)zThe disjunction-conjunction example from Actual Causation Figure 7. A network of four elements, one output ``D`` with three inputs ``A B C``. The output turns ON if ``A`` AND ``B`` are ON or if ``C`` is ON. rerNrrbrr,s rdisjunction_conjunction_networkr8s ((! C$   B 3} ! (= >>rc [R"/SQ/SQ/SQ/SQ/SQ/SQ/SQ/SQ/5n[R"/SQ/SQ/SQ/5n[X/SQS9nSnSn[X#USS 5$) zMThe |Transition| for the prevention example from Actual Causation Figure 5D. )rLrLr)rLrLrr r )ABFrbr)rr)r2)rrrr)rrnetworkx_statey_states r preventionrYsv ((  C  B c?;GGG g >>r)F).__doc__stringnumpyractualrrr subsystemrutilsrascii_uppercaserrrr"r-r/r@rCrFrHrOrQr_rcrfrlrnrprrrurwryr|rfig6fig8fig9fig10fig14rrrrrrrrs     KB\ !*Z!0Bf!+B\!*Z>BeBP;.!H?V ;-B`LB^B:B: BFBDBFtg+dD% MBf7"?B?r