%% Generated by ACircuit on Apr 2, 2001 3:36:08 PM
%% Circuit name is fhca

elec_circ(fhca).

%% Device fha
of_type(fha,v_switch).
is_wire(fha_i_0).
is_input(fha_i_0, fha).
is_wire(fha_i_1).
is_input(fha_i_1, fha).
is_wire(fha_o_0).
output(fha_o_0, fha).
is_wire(fha_o_1).
output(fha_o_1, fha).

connects(open,fha,fha_i_0,fha_o_0).
connects(gpc,fha,fha_i_1,fha_o_1).
connects(closed,fha,fhca_w102,fhca_w114).
connects(open,fha,fhca_w58,fhca_w28).
connects(gpc,fha,fhca_w59,fhca_w35).
connects(closed,fha,fhca_w60,fhca_w34).

%% Gate g1
of_type(fhca_g1, and_gate).
delay(fhca_g1, 0).

%% Gate g2
of_type(fhca_g2, and_gate).
delay(fhca_g2, 0).

%% Gate g3
of_type(fhca_g3, td1_gate).
delay(fhca_g3, 1).

%% Gate g4
of_type(fhca_g4, td1_gate).
delay(fhca_g4, 1).

%% Gate g5
of_type(fhca_g5, tri_gate).
delay(fhca_g5, 0).

%% Gate g6
of_type(fhca_g6, tri_gate).
delay(fhca_g6, 0).

%% Gate g7
of_type(fhca_g7, niland_gate).
delay(fhca_g7, 0).

%% Gate g8
of_type(fhca_g8, niland_gate).
delay(fhca_g8, 0).

%% Gate g13
of_type(fhca_g13, niland_gate).
delay(fhca_g13, 0).

%% Gate g10
of_type(fhca_g10, tri_gate).
delay(fhca_g10, 0).

%% Gate g15
of_type(fhca_g15, tri_gate).
delay(fhca_g15, 0).

%% Gate g12
of_type(fhca_g12, rpc_gate).
delay(fhca_g12, 0).

%% Gate g9
of_type(fhca_g9, tri_gate).
delay(fhca_g9, 0).

%% Gate g11
of_type(fhca_g11, rpc_gate).
delay(fhca_g11, 0).

%% Gate g16
of_type(fhca_g16, rpc_gate).
delay(fhca_g16, 0).

%% Gate g17
of_type(fhca_g17, rpc_gate).
delay(fhca_g17, 0).

%% Connector c1
of_type(fhca_c1,connector).

%% Device foha
of_type(foha,valve).

%% Connector c7
of_type(fhca_c7,connector).

%% Gate g14
of_type(fhca_g14, tri_gate).
delay(fhca_g14, 0).

%% Device fpc1
of_type(fpc1,power_bus).

%% Device fpc2
of_type(fpc2,power_bus).

%% Device flc1
of_type(flc1,power_bus).

%% Device flc2
of_type(flc2,power_bus).

%% Device ab2
of_type(ab2,power_bus).

%% Device ffha
of_type(ffha,valve).

%% Device ab1
of_type(ab1,control_bus).

%% Device opena_ffha
of_type(opena_ffha,cc).

%% Device closea_ffha
of_type(closea_ffha,cc).

%% Connector c8
of_type(fhca_c8,connector).

%% Wire w6
is_wire(fhca_w6).
output(fhca_w6, fhca_g6).
is_input(fhca_w6, fhca_g8).
type_of_wire(fhca_w6,fhca_g8, neglog).

%% Wire w7
is_wire(fhca_w7).
output(fhca_w7, fhca_g7).
is_input(fhca_w7, fhca_g9).

%% Wire w8
is_wire(fhca_w8).
output(fhca_w8, fhca_g8).
is_input(fhca_w8, fhca_g10).

%% Wire w13
is_wire(fhca_w13).
output(fhca_w13, fhca_g13).
is_input(fhca_w13, fhca_g15).

%% Wire w18
is_wire(fhca_w18).
output(fhca_w18, fhca_c1).
is_input(fhca_w18, foha).
input_of_type(fhca_w18,open).

%% Wire w20
is_wire(fhca_w20).
output(fhca_w20, foha).
output_of_type(fhca_w20,closed).
is_input(fhca_w20, fhca_g2).

%% Wire w22
is_wire(fhca_w22).
output(fhca_w22, foha).
output_of_type(fhca_w22,open).
is_input(fhca_w22, fhca_g1).

%% Wire w28
is_wire(fhca_w28).
output(fhca_w28, fha).
is_input(fhca_w28, fhca_g7).

%% Wire w34
is_wire(fhca_w34).
output(fhca_w34, fha).
is_input(fhca_w34, fhca_c7).

%% Wire w35
is_wire(fhca_w35).
output(fhca_w35, fha).
is_input(fhca_w35, fhca_c7).

%% Wire w36
is_wire(fhca_w36).
output(fhca_w36, fhca_c7).
is_input(fhca_w36, fhca_g8).

%% Wire w58
is_wire(fhca_w58).
output(fhca_w58, ab2).
input_of_type(fhca_w58,power_bus).
is_input(fhca_w58, fha).
type_of_wire(fhca_w58,fha,open).

%% Wire w59
is_wire(fhca_w59).
output(fhca_w59, ab2).
input_of_type(fhca_w59,power_bus).
is_input(fhca_w59, fha).
type_of_wire(fhca_w59,fha,gpc).

%% Wire w60
is_wire(fhca_w60).
output(fhca_w60, ab2).
input_of_type(fhca_w60,power_bus).
is_input(fhca_w60, fha).
type_of_wire(fhca_w60,fha,closed).

%% Wire w66
is_wire(fhca_w66).
output(fhca_w66, ffha).
output_of_type(fhca_w66,open).
is_input(fhca_w66, fhca_g1).

%% Wire w67
is_wire(fhca_w67).
output(fhca_w67, ffha).
output_of_type(fhca_w67,closed).
is_input(fhca_w67, fhca_g2).

%% Other connection to wire w18 (internal name: x18)
is_input(fhca_w18, ffha).
input_of_type(fhca_w18,open).

%% Wire w71
is_wire(fhca_w71).
output(fhca_w71, fhca_g16).
is_input(fhca_w71, fhca_g12).

%% Wire w72
is_wire(fhca_w72).
output(fhca_w72, fhca_g10).
is_input(fhca_w72, fhca_g12).

%% Wire w77
is_wire(fhca_w77).
output(fhca_w77, fhca_g2).
is_input(fhca_w77, fhca_g4).

%% Wire w78
is_wire(fhca_w78).
output(fhca_w78, fhca_g4).
is_input(fhca_w78, fhca_g6).

%% Wire w79
is_wire(fhca_w79).
output(fhca_w79, fhca_g1).
is_input(fhca_w79, fhca_g3).

%% Wire w83
is_wire(fhca_w83).
output(fhca_w83, fhca_g12).
is_input(fhca_w83, foha).
input_of_type(fhca_w83,closed).

%% Other connection to wire w83 (internal name: x20)
is_input(fhca_w83, ffha).
input_of_type(fhca_w83,closed).

%% Wire w86
is_wire(fhca_w86).
output(fhca_w86, fpc1).
input_of_type(fhca_w86,power_bus).
is_input(fhca_w86, fhca_g16).

%% Wire w87
is_wire(fhca_w87).
output(fhca_w87, fhca_g14).
is_input(fhca_w87, fhca_g16).

%% Wire w89
is_wire(fhca_w89).
output(fhca_w89, fhca_g9).
is_input(fhca_w89, fhca_g11).

%% Wire w90
is_wire(fhca_w90).
output(fhca_w90, fpc2).
input_of_type(fhca_w90,power_bus).
is_input(fhca_w90, fhca_g11).

%% Wire w91
is_wire(fhca_w91).
output(fhca_w91, fhca_g11).
is_input(fhca_w91, fhca_c1).

%% Wire w92
is_wire(fhca_w92).
output(fhca_w92, flc2).
input_of_type(fhca_w92,power_bus).
is_input(fhca_w92, fhca_g9).
type_of_wire(fhca_w92,fhca_g9, enable).

%% Wire w95
is_wire(fhca_w95).
output(fhca_w95, fhca_g17).
is_input(fhca_w95, fhca_c1).

%% Other connection to wire w86 (internal name: x21)
is_input(fhca_w86, fhca_g17).

%% Wire w96
is_wire(fhca_w96).
output(fhca_w96, fhca_g15).
is_input(fhca_w96, fhca_g17).

%% Other connection to wire w87 (internal name: x22)
is_input(fhca_w87, fhca_g13).
type_of_wire(fhca_w87,fhca_g13, neglog).

%% Wire w98
is_wire(fhca_w98).
output(fhca_w98, fhca_g3).
is_input(fhca_w98, fhca_g5).

%% Wire w99
is_wire(fhca_w99).
output(fhca_w99, fhca_g5).
is_input(fhca_w99, fhca_g7).
type_of_wire(fhca_w99,fhca_g7, neglog).

%% Wire w101
is_wire(fhca_w101).
output(fhca_w101, flc1).
input_of_type(fhca_w101,power_bus).
is_input(fhca_w101, fhca_g5).
type_of_wire(fhca_w101,fhca_g5, enable).

%% Other connection to wire w101 (internal name: x24)
is_input(fhca_w101, fhca_g6).
type_of_wire(fhca_w101,fhca_g6, enable).

%% Other connection to wire w101 (internal name: x25)
is_input(fhca_w101, fhca_g14).
type_of_wire(fhca_w101,fhca_g14, enable).

%% Other connection to wire w101 (internal name: x26)
is_input(fhca_w101, fhca_g10).
type_of_wire(fhca_w101,fhca_g10, enable).

%% Other connection to wire w101 (internal name: x28)
is_input(fhca_w101, fhca_g15).
type_of_wire(fhca_w101,fhca_g15, enable).

%% Wire w102
is_wire(fhca_w102).
output(fhca_w102, ab1).
input_of_type(fhca_w102,control_bus).
is_input(fhca_w102, fha).
type_of_wire(fhca_w102,fha,closed).

%% Other connection to wire w101 (internal name: x31)
is_input(fhca_w101, foha).

%% Other connection to wire w101 (internal name: x32)
is_input(fhca_w101, ffha).

%% Wire w103
is_wire(fhca_w103).
output(fhca_w103, opena_ffha).
is_input(fhca_w103, fhca_g13).

%% Wire w113
is_wire(fhca_w113).
output(fhca_w113, closea_ffha).
is_input(fhca_w113, fhca_c8).

%% Wire w114
is_wire(fhca_w114).
output(fhca_w114, fha).
is_input(fhca_w114, fhca_c8).

%% Wire w115
is_wire(fhca_w115).
output(fhca_w115, fhca_c8).
is_input(fhca_w115, fhca_g14).

