Java RuleValidator.getAllUnlimitedVariables Examples

Example #1

File: RuleValidatorTest.java Project: distributed-iris-reasoner/distributed-iris-reasoner

 private static void assertUnsafe(RuleValidator validator) {
   assertTrue(validator.getAllUnlimitedVariables().size() > 0);
 }

Example #2

File: RuleValidatorTest.java Project: distributed-iris-reasoner/distributed-iris-reasoner

 private static void assertContains(RuleValidator validator, String variable) {
   assertTrue(validator.getAllUnlimitedVariables().contains(TERM.createVariable(variable)));
 }