set_operator.F File Reference

#include "implicit_f.inc"

Go to the source code of this file.

Functions/Subroutines
subroutine	set_operator (opt_d, opt_o, opt_g, opt_b, opt_a, opt_e, opt_i, opt_c, clause_operator)

Function/Subroutine Documentation

set_operator()

subroutine set_operator	(	integer, intent(in)	opt_d,
		integer, intent(in)	opt_o,
		integer, intent(in)	opt_g,
		integer, intent(in)	opt_b,
		integer, intent(in)	opt_a,
		integer, intent(in)	opt_e,
		integer, intent(in)	opt_i,
		integer, intent(in)	opt_c,
		integer, intent(out)	clause_operator )

Definition at line 30 of file set_operator.F.

C-----------------------------------------------
C   ROUTINE DESCRIPTION :
C   ===================
C   Defines the SET Operators : SET_ADD, SET_DELETE, SET_INTERSECT
C-----------------------------------------------
C   DUMMY ARGUMENTS DESCRIPTION:
C   ===================
C
C     NAME                                                 DESCRIPTION
C
C     OPT_D,OPT_O,OPT_G,OPT_B,OPT_A,OPT_E,OPT_I,OPT_C,OP : INPUT - Option Operator
c     CLAUSE OPERATOR : OUTPUT                             CLAUSE_OPERATOR
C============================================================================
C-----------------------------------------------
C   D e f i n i t i o n s 
C-----------------------------------------------
 
C-----------------------------------------------
C   M o d u l e s
C-----------------------------------------------
      USE set_mod , ONLY : set_add,set_delete,set_intersect
C-----------------------------------------------
C   I m p l i c i t   T y p e s
C-----------------------------------------------
#include      "implicit_f.inc"
C-----------------------------------------------
C   D u m m y   A r g u m e n t s
C-----------------------------------------------
      INTEGER, INTENT(IN) :: OPT_D, OPT_O,OPT_G,
     *                       OPT_B, OPT_A,OPT_E,
     *                       OPT_I, OPT_C
 
      INTEGER, INTENT(OUT) :: CLAUSE_OPERATOR
C-----------------------------------------------
      IF(opt_d == 1) THEN
          clause_operator = set_delete
      ELSEIF (opt_i == 1) THEN
          clause_operator = set_intersect
      ELSE
          clause_operator = set_add
      ENDIF