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

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

301
302
303
304
305
306
307
308
309
310
311
312
            GdlTerm arg2 = (GdlTerm)getInstantiationAux(distinct.getArg2(), varInstantiation);
            return GdlPool.getDistinct(arg1, arg2);
        }
        else if(gdl instanceof GdlNot)
        {
            GdlNot not = (GdlNot)gdl;
            GdlLiteral body = (GdlLiteral)getInstantiationAux(not.getBody(), varInstantiation);
            return GdlPool.getNot(body);
        }
        else if(gdl instanceof GdlOr)
        {
            GdlOr or = (GdlOr)gdl;
View Full Code Here
539
540
541
542
543
544
545
546
547
548
549
550
            rval.add(gdl);
            return rval;
        }
        else if(gdl instanceof GdlNot)
        {
            GdlNot not = (GdlNot)gdl;
            expandedChild = expandFirstOr(not.getBody());
            rval = new ArrayList<Gdl>();
            for(Gdl g : expandedChild)
            {
                if(!(g instanceof GdlLiteral)) throw new RuntimeException("Not must have literal child.");
                GdlLiteral lit = (GdlLiteral)g;
View Full Code Here
TOP

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

  • org.ggp.base.util.gdl.GdlUtils
  • org.ggp.base.util.gdl.model.GameFlow
  • org.ggp.base.util.gdl.transforms.DeORer
  • org.ggp.base.util.gdl.transforms.GdlCleaner
  • org.ggp.base.util.gdl.transforms.Relationizer
  • org.ggp.base.util.propnet.factory.annotater.PropNetAnnotater
  • org.ggp.base.util.propnet.factory.converter.PropNetConverter
  • org.ggp.base.util.propnet.factory.flattener.PropNetFlattener
  • org.ggp.base.util.propnet.factory.OptimizingPropNetFactory
  • org.ggp.base.util.prover.aima.AimaProver
    • 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.