klara.core.inference.InferenceResult

class documentation

class InferenceResult(object): (source)

Known subclasses: klara.core.inference.MultiInferenceResult

Object for every result to `node.infer()`

Class Method	`from_other`	Undocumented
Class Method	`load_result`	Undocumented
Class Method	`load_type`	Undocumented
Method	`__add__`	merge some properties from other Inference result
Method	`__hash__`	Undocumented
Method	`__init__`	Undocumented
Method	`__radd__`	Undocumented
Method	`__repr__`	Undocumented
Method	`add_infer_path`	Undocumented
Method	`bound_conditions.setter`	Undocumented
Method	`hash_only_result.setter`	Undocumented
Method	`init`	Undocumented
Method	`merge_other_results`	Undocumented
Method	`selected_operand.setter`	Undocumented
Method	`strip_inference_result`	Strip the const/instance out of the result.
Method	`z3_assumptions.setter`	Undocumented
Class Variable	`__slots__`	Undocumented
Instance Variable	`abutments`	Undocumented
Instance Variable	`bound_instance`	Undocumented
Instance Variable	`infer_path`	Undocumented
Instance Variable	`inverted_conditions`	Undocumented
Instance Variable	`result`	Undocumented
Instance Variable	`result_type`	Undocumented
Instance Variable	`status`	Undocumented
Property	`bound_conditions`	Undocumented
Property	`hash_only_result`	Undocumented
Property	`real_conditions`	Undocumented
Property	`selected_operand`	Undocumented
Property	`z3_assumptions`	Undocumented
Instance Variable	`_bound_conditions`	Undocumented
Instance Variable	`_hash`	Undocumented
Instance Variable	`_hash_only_result`	Undocumented
Instance Variable	`_selected_operand`	Undocumented
Instance Variable	`_z3_assumptions`	Undocumented

@classmethod
def from_other(cls, other, bound_conditions=None, selected_operand=None, inference_results=None, inverted_conditions=None): (source)

Undocumented

@classmethod
def load_result(cls, result, bound_instance=None, substituted=False, bound_conditions=None, selected_operand=None, inference_results=None, hash_only_result=False, abutments=None, inverted_conds=None): (source)

Undocumented

@classmethod
def load_type(cls, result_type=type(None), overwrite_type=None, inference_results=None, hash_only_result=False, abutments=None): (source)

Undocumented

Parameters
result_type:`builtins`	Undocumented
overwrite_type	Undocumented
inference_results	Undocumented
hash_only_result	Undocumented
abutments	Undocumented

def __add__(self, other): (source)

merge some properties from other Inference result

def __hash__(self): (source)

Undocumented

def __init__(self, result=None, result_type=None, status=False, bound_instance=None, bound_conditions=None, infer_path=None, selected_operand=None, inference_results=None, abutments=None): (source)

overridden in klara.core.inference.MultiInferenceResult

Undocumented

def __radd__(self, other): (source)

Undocumented

def __repr__(self): (source)

Undocumented

def add_infer_path(self, node): (source)

Undocumented

@bound_conditions.setter
def bound_conditions(self, value): (source)

Undocumented

@hash_only_result.setter
def hash_only_result(self, value): (source)

Undocumented

def init(self, bound_conditions=None, selected_operand=None, inference_results=None, inverted_conds=None): (source)

Undocumented

def merge_other_results(self, inference_results): (source)

Undocumented

@selected_operand.setter
def selected_operand(self, value): (source)

Undocumented

def strip_inference_result(self): (source)

Strip the const/instance out of the result.

@z3_assumptions.setter
def z3_assumptions(self, value): (source)

Undocumented

__slots__: tuple[str, ...] = (source)

Undocumented

abutments = (source)

Undocumented

bound_instance = (source)

Undocumented

infer_path = (source)

Undocumented

inverted_conditions = (source)

Undocumented

result = (source)

Undocumented

result_type = (source)

Undocumented

status = (source)

Undocumented

@property
bound_conditions = (source)

Undocumented

@property
hash_only_result = (source)

Undocumented

@property
real_conditions = (source)

Undocumented

@property
selected_operand = (source)

Undocumented

@property
z3_assumptions = (source)

Undocumented

_bound_conditions = (source)

Undocumented

_hash = (source)

Undocumented

_hash_only_result = (source)

Undocumented

_selected_operand = (source)

Undocumented

_z3_assumptions = (source)

Undocumented