public ContinuousRulesStrategy(final ABox abox) { super(abox); _bindingStrategy = new BindingGeneratorStrategyImpl(abox); _partialBindings = new ConcurrentLinkedQueue<>(); _unsafeRules = new HashSet<>(); _rulesApplied = new HashMap<>(); _atermTranslator = new RulesToATermTranslator(); _ruleAtomAsserter = new RuleAtomAsserter(); _atomTester = new TrivialSatisfactionHelpers(abox); }
public ContinuousRulesStrategy(final ABox abox) { super(abox); _bindingStrategy = new BindingGeneratorStrategyImpl(abox); _partialBindings = new ConcurrentLinkedQueue<>(); _unsafeRules = new HashSet<>(); _rulesApplied = new HashMap<>(); _atermTranslator = new RulesToATermTranslator(); _ruleAtomAsserter = new RuleAtomAsserter(); _atomTester = new TrivialSatisfactionHelpers(abox); }