@Override public void removeGroundRule(GroundRule groundRule) { groundRules.removeMapping(groundRule.getRule(), groundRule); }
@Override public void removeGroundRule(GroundRule groundRule) { super.removeGroundRule(groundRule); // Unregister the ground rule with all the atoms involved. for (GroundAtom atom : groundRule.getAtoms()) { atomMapping.removeMapping(atom, groundRule); } }
@Override public void removeGroundRules(Rule rule) { // Unregister the atoms before we loose the mapping of rule to ground rules. for (GroundRule groundRule : getGroundRules(rule)) { for (GroundAtom atom : groundRule.getAtoms()) { atomMapping.removeMapping(atom, groundRule); } } super.removeGroundRules(rule); }
this.cardsPerPlayer.removeMapping(nextPlayer, card); this.cardsPerPlayer.put(playerNumber, card); this.logCardsPerPlayer();