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

Definition at line 158 of file InterpolationContext.java.

String error

Definition at line 160 of file InterpolationContext.java.

int [] parents

Definition at line 159 of file InterpolationContext.java.

int return_value = 0

Definition at line 157 of file InterpolationContext.java.

Expr [] theory

Definition at line 161 of file InterpolationContext.java.

Referenced by InterpolationContext.ReadInterpolationProblem().