Uses of Class
ubc.cs.JLog.Builtins.jCurrentOpList

Packages that use jCurrentOpList

ubc.cs.JLog.Builtins.Goals

Uses of jCurrentOpList in ubc.cs.JLog.Builtins.Goals

Fields in ubc.cs.JLog.Builtins.Goals declared as jCurrentOpList

protected jCurrentOpList

jCurrentOpListGoal.oplist

Constructors in ubc.cs.JLog.Builtins.Goals with parameters of type jCurrentOpList

jCurrentOpListGoal(jCurrentOpList ol, jTerm r)