Package org.ggp.base.util.gdl.grammar

Examples of org.ggp.base.util.gdl.grammar.GdlProposition

270
271
272
273
274
275
276
277
278
279
280
281
          i++;

        Proposition disjunct = null;
        if ( fixItem.getName() instanceof GdlProposition )
        {
          GdlProposition proposition = (GdlProposition) fixItem.getName();
          disjunct = new Proposition(GdlPool.getProposition(GdlPool.getConstant(proposition.getName().getValue() + "-" + i)));
        }
        else
        {
          GdlRelation relation = (GdlRelation) fixItem.getName();
          disjunct = new Proposition(GdlPool.getRelation(GdlPool.getConstant(relation.getName().getValue() + "-" + i), relation.getBody()));
View Full Code Here
TOP

Related Classes of org.ggp.base.util.gdl.grammar.GdlProposition

  • org.ggp.base.util.propnet.factory.converter.PropNetConverter
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.