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 155 of file InterpolationContext.java.

Field Documentation

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