File: bool_cats.py

package info (click to toggle)
ats2-lang 0.4.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 40,064 kB
  • sloc: ansic: 389,637; makefile: 7,123; lisp: 812; sh: 657; php: 573; python: 387; perl: 365
file content (51 lines) | stat: -rw-r--r-- 1,416 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
######
#
# HX-2014-08:
# for Python code translated from ATS
#
######

######
#beg of [bool_cats.py]
######

############################################
#
def ats2pypre_neg_bool0(x): return(not(x))
def ats2pypre_neg_bool1(x): return(not(x))
#
############################################

def ats2pypre_add_bool0_bool0(x, y): return(x or y)
def ats2pypre_add_bool0_bool1(x, y): return(x or y)
def ats2pypre_add_bool1_bool0(x, y): return(x or y)
def ats2pypre_add_bool1_bool1(x, y): return(x or y)

############################################

def ats2pypre_mul_bool0_bool0(x, y): return(x and y)
def ats2pypre_mul_bool0_bool1(x, y): return(x and y)
def ats2pypre_mul_bool1_bool0(x, y): return(x and y)
def ats2pypre_mul_bool1_bool1(x, y): return(x and y)

############################################
#
def ats2pypre_eq_bool0_bool0(x, y): return(x == y)
def ats2pypre_eq_bool1_bool1(x, y): return(x == y)
#
def ats2pypre_neq_bool0_bool0(x, y): return(x != y)
def ats2pypre_neq_bool1_bool1(x, y): return(x != y)
#
############################################

def ats2pypre_bool2int0(x): return(1 if x else 0)
def ats2pypre_bool2int1(x): return(1 if x else 0) 

############################################

def ats2pypre_int2bool0(x): return(True if x != 0 else False)
def ats2pypre_int2bool1(x): return(True if x != 0 else False)

############################################

###### end of [bool_cats.py] ######