Lines Matching refs:study

2810                 head.study(info);
2894 if (head.study(info)) { // Deterministic
3362 boolean study(TreeInfo info) {
3364 return next.study(info);
3398 next.study(info);
3418 boolean study(TreeInfo info) {
3419 next.study(info);
3633 boolean study(TreeInfo info) {
3634 next.study(info);
3674 boolean study(TreeInfo info) {
3675 next.study(info);
3701 boolean study(TreeInfo info) {
3704 return next.study(info);
3844 boolean study(TreeInfo info) {
3847 return next.study(info);
4091 boolean study(TreeInfo info) {
4094 atom.study(info);
4097 return next.study(info);
4099 atom.study(info);
4100 return next.study(info);
4211 boolean study(TreeInfo info) {
4219 atom.study(info);
4242 return next.study(info);
4420 boolean study(TreeInfo info) {
4428 atom.study(info);
4452 return next.study(info);
4459 * "next" but not the "study", so we can collect the TreeInfo
4468 boolean study(TreeInfo info) {
4509 boolean study(TreeInfo info) {
4519 atoms[n].study(info);
4529 conn.next.study(info);
4583 boolean study(TreeInfo info) {
4586 return next.study(info);
4641 boolean study(TreeInfo info) {
4642 return loop.study(info);
4711 boolean study(TreeInfo info) {
4771 boolean study(TreeInfo info) {
4812 boolean study(TreeInfo info) {
4814 return next.study(info);
4867 boolean study(TreeInfo info) {
4869 return next.study(info);
4901 boolean study(TreeInfo info) {
4902 atom.study(info);
4905 return next.study(info);
4923 boolean study(TreeInfo info) {
4928 yes.study(info);
4934 not.study(info);
4940 return next.study(info);
5384 boolean study(TreeInfo info) {
5387 return next.study(info);