List of changeOneInNext() Examples

Examples of changeOneInNext()

org.ggp.base.util.gdl.model.assignments.AssignmentIterator.changeOneInNext()
Request that the next assignment change at least one of the listed variables from its current assignment.

Examples of org.ggp.base.util.gdl.model.assignments.AssignmentIterator.changeOneInNext()

      Map<GdlVariable, GdlConstant> assignment = asnItr.next();
      boolean allSatisfied = true;
      for (GdlLiteral literal : rule.getBody()) {
        ConcurrencyUtils.checkForInterruption();
        if (!satisfies(assignment, literal, sentencesSoFar.getSentences())) {
          asnItr.changeOneInNext(GdlUtils.getVariables(literal), assignment);
          allSatisfied = false;
          break;
        }
      }
      if (allSatisfied) {

View Full Code Here

Examples of org.ggp.base.util.gdl.model.assignments.AssignmentIterator.changeOneInNext()

        }
      }
      if (allSatisfied) {
        GdlSentence head = rule.getHead();
        sentencesToAdd.put(headForm, CommonTransforms.replaceVariables(head, assignment));
        asnItr.changeOneInNext(GdlUtils.getVariables(head), assignment);
      }
    }
    return sentencesToAdd;
  }

View Full Code Here

Examples of org.ggp.base.util.gdl.model.assignments.AssignmentIterator.changeOneInNext()

            if (literal == chosenLiteral) {
              //Already satisfied
              continue;
            }
            if (!satisfies(assignment, literal, allSentences.getSentences())) {
              asnItr.changeOneInNext(GdlUtils.getVariables(literal), assignment);
              allSatisfied = false;
              break;
            }
          }
          if (allSatisfied) {

View Full Code Here

Examples of org.ggp.base.util.gdl.model.assignments.AssignmentIterator.changeOneInNext()

            GdlSentence head = rule.getHead();
            GdlSentence newHead = CommonTransforms.replaceVariables(head, assignment);
            if (!allSentences.containsSentence(headForm, newHead)) {
              sentencesToAdd.put(headForm, newHead);
            }
            asnItr.changeOneInNext(GdlUtils.getVariables(head), assignment);
          }
        }
      }
    }
  }

View Full Code Here

Examples of org.ggp.base.util.gdl.model.assignments.AssignmentIterator.changeOneInNext()

          Map<GdlVariable, GdlConstant> assignment = asnItr.next();
          boolean isGoodAssignment = true;


          GdlSentence transformedHead = CommonTransforms.replaceVariables(head, assignment);
          if(trueFlowSentences.contains(transformedHead))
            asnItr.changeOneInNext(varsInHead, assignment);


          //Go through the conjuncts
          for(GdlLiteral literal : rule.getBody()) {
            if(literal instanceof GdlSentence) {
              if(curForm.matches((GdlSentence) literal))

View Full Code Here

Examples of org.ggp.base.util.gdl.model.assignments.AssignmentIterator.changeOneInNext()

              GdlSentence transformed = CommonTransforms.replaceVariables((GdlSentence) literal, assignment);
              SentenceForm conjForm = model.getSentenceForm(transformed);
              if(constantForms.contains(conjForm)) {
                if(!constantChecker.isTrueConstant(transformed)) {
                  isGoodAssignment = false;
                  asnItr.changeOneInNext(GdlUtils.getVariables(literal), assignment);
                }
              } else {
                if(!trueFlowSentences.contains(transformed)) {
                  //False sentence
                  isGoodAssignment = false;

View Full Code Here

Examples of org.ggp.base.util.gdl.model.assignments.AssignmentIterator.changeOneInNext()

                }
              } else {
                if(!trueFlowSentences.contains(transformed)) {
                  //False sentence
                  isGoodAssignment = false;
                  asnItr.changeOneInNext(GdlUtils.getVariables(literal), assignment);
                }
              }
            } else if(literal instanceof GdlNot) {
              GdlSentence internal = (GdlSentence) ((GdlNot) literal).getBody();
              GdlSentence transformed = CommonTransforms.replaceVariables(internal, assignment);

View Full Code Here

Examples of org.ggp.base.util.gdl.model.assignments.AssignmentIterator.changeOneInNext()

              SentenceForm conjForm = model.getSentenceForm(transformed);


              if(constantForms.contains(conjForm)) {
                if(constantChecker.isTrueConstant(transformed)) {
                  isGoodAssignment = false;
                  asnItr.changeOneInNext(GdlUtils.getVariables(literal), assignment);
                }
              } else {
                if(trueFlowSentences.contains(transformed)) {
                  //False sentence
                  isGoodAssignment = false;

View Full Code Here

Examples of org.ggp.base.util.gdl.model.assignments.AssignmentIterator.changeOneInNext()

                }
              } else {
                if(trueFlowSentences.contains(transformed)) {
                  //False sentence
                  isGoodAssignment = false;
                  asnItr.changeOneInNext(GdlUtils.getVariables(literal), assignment);
                }
              }


            }
            //Nothing else needs attention, really

View Full Code Here

Examples of org.ggp.base.util.gdl.model.assignments.AssignmentIterator.changeOneInNext()

          if(isGoodAssignment) {
            trueFlowSentences.add(transformedHead);
            if(varsInHead.isEmpty())
              break; //out of the assignments for this rule
            else
              asnItr.changeOneInNext(varsInHead, assignment);
          }
        }
      }
      //We've gone through all the rules
    }

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.