Examples of org.ggp.base.util.gdl.model.assignments.AssignmentsImpl

    SentenceForm headForm = model.getSentenceForm(rule.getHead());
    Map<GdlVariable, Set<GdlConstant>> varDomains = SentenceDomainModels.getVarDomains(rule, domainModel, VarDomainOpts.INCLUDE_HEAD);
    Map<SentenceForm, ? extends FunctionInfo> functionInfoMap = sentencesSoFar.getFunctionInfo();
    Map<SentenceForm, ? extends Collection<GdlSentence>> completedSentenceFormValues = sentencesSoFar.getSentences().asMap();


    AssignmentsImpl assignments = new AssignmentsImpl(rule, varDomains, functionInfoMap, completedSentenceFormValues);
    AssignmentIterator asnItr = assignments.getIterator();
    GdlSentenceSet sentencesToAdd = GdlSentenceSet.create();
    while (asnItr.hasNext()) {
      Map<GdlVariable, GdlConstant> assignment = asnItr.next();
      boolean allSatisfied = true;
      for (GdlLiteral literal : rule.getBody()) {

    Map<SentenceForm, ? extends Collection<GdlSentence>> completedSentenceFormValues = allSentences.getSentences().asMap();


    for (GdlSentence chosenNewSentence : chosenNewSentences) {
      Map<GdlVariable, GdlConstant> preassignments = GdlUtils.getAssignmentMakingLeftIntoRight(chosenLiteral, chosenNewSentence);
      if (preassignments != null) {
        Assignments assignments = new AssignmentsImpl(preassignments, rule, varDomains, functionInfoMap, completedSentenceFormValues);
        AssignmentIterator asnItr = assignments.getIterator();
        while (asnItr.hasNext()) {
          Map<GdlVariable, GdlConstant> assignment = asnItr.next();


          boolean allSatisfied = true;
          for (GdlLiteral literal : rule.getBody()) {

Related Classes of org.ggp.base.util.gdl.model.assignments.AssignmentsImpl

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.