Data Fields | |
int | return_value = 0 |
Expr [] | cnsts |
int [] | parents |
String | error |
Expr [] | theory |
Definition at line 164 of file InterpolationContext.java.
Expr [] cnsts |
Definition at line 167 of file InterpolationContext.java.
Referenced by InterpolationContext.ReadInterpolationProblem().
String error |
Definition at line 169 of file InterpolationContext.java.
Referenced by InterpolationContext.ReadInterpolationProblem().
int [] parents |
Definition at line 168 of file InterpolationContext.java.
Referenced by InterpolationContext.ReadInterpolationProblem().
int return_value = 0 |
Definition at line 166 of file InterpolationContext.java.
Referenced by InterpolationContext.ReadInterpolationProblem().
Expr [] theory |
Definition at line 170 of file InterpolationContext.java.
Referenced by InterpolationContext.ReadInterpolationProblem().