% File: hides
% $Name:  $

hide damaged(J).
hide dummy_valve(X,Y).
hide action_of(X,Y).
hide of_type(X,Y,Z).
hide pressurized(X,Y).
hide command_between(X,Y,Z). 
hide issued_commands(X,Y). 
hide prev(X,Y). 
hide open_prev(X,Y). 
hide perf(X,Y).
hide type_cc(X).

hide node(X).
hide tank(X).
hide stuck_at(X,Y,Z).

hide link(X,Y,Z). 
hide tank_of(X,Y). 
hide jet_of(X,Y). 
hide vernier_of(X,Y).
hide direction(X,Y). 
hide pair_of_jets(X,Y). 
hide v_switch(X). 
hide has_leak(X). 
hide time(X). 
hide next(X,Y). 
hide nh(X,Y). 
hide h(X,Y). 
hide action(X).
hide target_device(X,Y). 
hide target_state(X,Y). 
hide state_of(X,Y). 
hide of_type(X,Y). 
hide controls(X,Y,Z). 
hide controls(X,Y). 
hide commands(X,Y,Z).
hide basic_command(X,Y,Z). 
hide type_of_valve(X,Y). 
hide input_of_type(X,Y). 
hide output_of_type(X,Y). 
hide elec_circ(C). 
hide connects(X,Y,W,Z). 
hide affected_by_switch(X,Y). 
hide stuck(X). 
hide stuck(X,Y). 
%hide occurs(X,Y).
hide noccurs(X,Y).
hide command_type(X,Y,Z).
hide some_cc_not_issued(X,Y,Z).
hide dummy_valve(X).
hide opposite_state(X,Y).
hide bad_circuitry(X).
hide v_solenoid(X).
hide done(X,Y).
%hide goal(X,Y).
hide system(X).
hide maneuver(X).
%hide goal.
hide done(X).

hide output(X,Y).
hide is_wire(X).
hide delay(X,Y).
hide type_of_wire(X,Y,Z).
hide is_input(X,Y).

