Java DLProgram.getClauses Examples

Example #1

File: DLVReasoner.java Project: ghxiao/drew-rl

 @Override
 public boolean isEntailed(DLProgram program, Literal query) {
   return isEntailed(program.getClauses(), query);
 }

Example #2

File: DLVReasoner.java Project: ghxiao/drew-rl

 @Override
 public List<Literal> query(DLProgram program, Literal query) {
   return query(program.getClauses(), query);
 }