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
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)
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)
def __init__(self, variables): AbstractTechnique.__init__(self, None, variables, None) self.missing_symbols = [] self.exclude_list = []
def __init__(self, variables, curve=pairing.Asymmetric): AbstractTechnique.__init__(self, None, variables, None) self.left_errors = [] self.right_errors = [] self.curve_type = curve
def __init__(self, variables, curve=pairing.Asymmetric): AbstractTechnique.__init__(self, None, variables, None) self.exponent = []