klara.core.inference.MultiInferenceResult

class documentation

class MultiInferenceResult(InferenceResult): (source)

View In Hierarchy

Merging of multiple inference result into one

Class Method combine_inference_results Undocumented
Method __init__ Undocumented
Method combine_selected_operand Undocumented

Inherited from InferenceResult:

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 __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 combine_inference_results(cls, results): (source)

Undocumented

def __init__(self, *args, **kwargs): (source)
overrides klara.core.inference.InferenceResult.__init__

Undocumented

def combine_selected_operand(self, results): (source)

Undocumented