Z3
Data Fields
InterpolationContext.ReadInterpolationProblemResult Class Reference

Data Fields

int return_value = 0
 
Expr [] cnsts
 
int [] parents
 
String error
 
Expr [] theory
 

Detailed Description

Definition at line 164 of file InterpolationContext.java.

Field Documentation

§ cnsts

Expr [] cnsts

§ error

String error

§ parents

int [] parents

§ return_value

int return_value = 0

§ theory

Expr [] theory