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