swarm-0.7.0.0: data/scenarios/Challenges/_wolf-goat-cabbage/together-on-east-bank.sw

def get_x_coord = \r.
    as r {
        pos <- whereami;
        match pos \x. \_.
        pure x
    };
    end;

def all_on_bank = \baseX. \robotName.
    r <- robotnamed robotName;
    thisX <- get_x_coord r;

    as r {
        try {grab; pure ()} {};
        move;
        try {grab; pure ()} {};
        move;
        try {grab; pure ()} {};

        has_wolf <- has "wolf";
        has_goat <- has "goat";
        has_cabbage <- has "cabbage";
        pure $ baseX == thisX && has_wolf && has_goat && has_cabbage;
    };
    end;

baseX <- get_x_coord base;

all_on_bank baseX "east_detector";