List of processFact() Examples

Examples of processFact()

stanfordlogic.knowledge.RelationNameProcessor.processFact()
Change the name of the relation 'fact'. @param fact The relation to rename.

Examples of stanfordlogic.knowledge.RelationNameProcessor.processFact()

        RelationNameProcessor trueProcessor = new RelationNameProcessor(parser.TOK_TRUE);
        
        Iterable<GroundFact> inits = reasoner.getAllAnswersIterable(ProofContext.makeDummy(parser), "init", "?x");
        for (GroundFact initFact : inits) 
        {
            GroundFact trueFact = trueProcessor.processFact(initFact);
            facts.add(trueFact);
        }
    }


    /**

View Full Code Here

Examples of stanfordlogic.knowledge.RelationNameProcessor.processFact()

        
        RelationNameProcessor trueProcessor = new RelationNameProcessor(GameManager.getParser().TOK_TRUE);
        
        for(GroundFact f : nextfacts)
        {
            newfacts.add(trueProcessor.processFact(f));
        }
        
        return new GDLState(reasoner,newfacts);
    }

View Full Code Here

Examples of stanfordlogic.knowledge.RelationNameProcessor.processFact()

        
        KnowledgeBase currentState = new BasicKB();
        
        RelationNameProcessor trueProcessor = new RelationNameProcessor(parser_.TOK_TRUE);
        for (GroundFact init: inits) {
            currentState.setTrue(trueProcessor.processFact(init));
        }
        
        assertEquals(10, currentState.getNumFacts());
        
        GroundFact [] moves;

View Full Code Here

Examples of stanfordlogic.knowledge.RelationNameProcessor.processFact()

        KnowledgeBase newKb = new BasicKB();
        
        RelationNameProcessor trueProcessor = new RelationNameProcessor(parser_.TOK_TRUE);
        
        for (GroundFact next : nexts) {
            newKb.setTrue(trueProcessor.processFact(next));
        }
        
        return newKb;
        
    }

View Full Code Here

Examples of stanfordlogic.knowledge.RelationNameProcessor.processFact()

        assertEquals( 18, init.size() );
        
        RelationNameProcessor processor = new RelationNameProcessor(parser_.TOK_TRUE);
        
        for ( GroundFact f : init )
            volatileKb.setTrue ( processor.processFact(f) );
            
                // Find out how many legal moves there are
        List<GroundFact> legal = reasoner.getAllAnswers( makeFact( "legal white ?x" ),
                context );

View Full Code Here

Examples of stanfordlogic.knowledge.RelationNameProcessor.processFact()

        assertEquals(66, init.size());
        
        RelationNameProcessor processor = new RelationNameProcessor(parser_.TOK_TRUE);
        
        for ( GroundFact f : init )
            volatileKb.setTrue ( processor.processFact(f) );
            
        // Find out how many legal moves there are
        List<GroundFact> legal = reasoner.getAllAnswers( makeFact( "legal white ?x" ),
                context );

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.