Пример #1
0
 def __init__(self, sdl_data=None, variables=None, meta=None):
     if sdl_data:
         AbstractTechnique.__init__(self, sdl_data, variables, meta)
     self.inverse = BinaryNode("-1")
     self.finalAND = []
     self.deltaCount = {}
     self.debug = False
Пример #2
0
 def __init__(self, sdl_data=None, variables=None, meta=None):
     if sdl_data:
         AbstractTechnique.__init__(self, sdl_data, variables, meta)
     self.inverse = BinaryNode("-1")
     self.finalAND = []
     self.deltaCount = {}
     self.debug = False
Пример #3
0
 def visit_eq_tst(self, node, data):
     # Restrict to only product nodes that we've introduced for
     # iterating over the N signatures
     delta = BinaryNode("delta")
     _list = [ops.EXP, ops.PAIR, ops.ATTR]
     if str(node.left) != "1":
         node.left = AbstractTechnique.createExp2(BinaryNode.copy(node.left), delta, _list)
     if str(node.right) != "1":
         node.right = AbstractTechnique.createExp2(BinaryNode.copy(node.right), BinaryNode.copy(delta), _list)
Пример #4
0
 def visit_eq_tst(self, node, data):
     # Restrict to only product nodes that we've introduced for
     # iterating over the N signatures
     delta = BinaryNode("delta")
     _list = [ops.EXP, ops.PAIR, ops.ATTR]
     if str(node.left) != "1":
         node.left = AbstractTechnique.createExp2(
             BinaryNode.copy(node.left), delta, _list)
     if str(node.right) != "1":
         node.right = AbstractTechnique.createExp2(
             BinaryNode.copy(node.right), BinaryNode.copy(delta), _list)
Пример #5
0
 def __init__(self, variables):
     AbstractTechnique.__init__(self, None, variables, None)
     self.missing_symbols = []
     self.exclude_list = []
Пример #6
0
 def __init__(self, variables, curve=pairing.Asymmetric):
     AbstractTechnique.__init__(self, None, variables, None)
     self.left_errors = []
     self.right_errors = []
     self.curve_type = curve
Пример #7
0
 def __init__(self, variables, curve=pairing.Asymmetric):
     AbstractTechnique.__init__(self, None, variables, None)
     self.exponent = []
Пример #8
0
 def __init__(self, variables):
     AbstractTechnique.__init__(self, None, variables, None)
     self.missing_symbols = []
     self.exclude_list = []
Пример #9
0
 def __init__(self, variables, curve=pairing.Asymmetric):
     AbstractTechnique.__init__(self, None, variables, None)
     self.left_errors  = []
     self.right_errors = []
     self.curve_type   = curve
Пример #10
0
 def __init__(self, variables, curve=pairing.Asymmetric):
     AbstractTechnique.__init__(self, None, variables, None)
     self.exponent = []