Class ResultTerm
java.lang.Object
|
+--ResultTerm
- public class ResultTerm
- extends java.lang.Object
A Class used by the processor to return information about evaluated terms.
|
Constructor Summary |
ResultTerm(int cr,
int cr_left,
java.util.ArrayList crses,
boolean sat)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ResultTerm
public ResultTerm(int cr,
int cr_left,
java.util.ArrayList crses,
boolean sat)
get_credits_in_term
public int get_credits_in_term()
get_credits_left
public int get_credits_left()
get_courses_left_in_term
public java.util.ArrayList get_courses_left_in_term()
is_it_satisfied
public boolean is_it_satisfied()