public List<PropositionalFunction> generatePfs(){ List<PropositionalFunction> pfs = Arrays.asList( new AtLocationPF(PF_AT_LOCATION, new String[]{CLASS_AGENT, CLASS_LOCATION}), new WallToPF(PF_WALL_NORTH, new String[]{CLASS_AGENT}, 0), new WallToPF(PF_WALL_SOUTH, new String[]{CLASS_AGENT}, 1), new WallToPF(PF_WALL_EAST, new String[]{CLASS_AGENT}, 2), new WallToPF(PF_WALL_WEST, new String[]{CLASS_AGENT}, 3)); return pfs; }