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

Definition at line 167 of file InterpolationContext.java.

Referenced by InterpolationContext.ReadInterpolationProblem().

error

String error

Definition at line 169 of file InterpolationContext.java.

Referenced by InterpolationContext.ReadInterpolationProblem().

parents

int [] parents

Definition at line 168 of file InterpolationContext.java.

Referenced by InterpolationContext.ReadInterpolationProblem().

return_value

int return_value = 0

Definition at line 166 of file InterpolationContext.java.

Referenced by InterpolationContext.ReadInterpolationProblem().

theory

Expr [] theory

Definition at line 170 of file InterpolationContext.java.

Referenced by InterpolationContext.ReadInterpolationProblem().