Source code for claripy.ops

import logging

l = logging.getLogger("claripy.ops")

#
# AST creation
#


[docs]def AbstractLocation(*args, **kwargs):  # pylint:disable=no-self-use
    aloc = vsa.AbstractLocation(*args, **kwargs)
    return aloc


#
# Some operations
#


#
# sigh
#

# pylint:disable=wildcard-import,unused-wildcard-import
from .ast.base import *
from .ast.bv import *
from .ast.fp import *
from .ast.bool import *
from .ast.strings import *
from . import vsa

VS = ValueSet