Theory (refinery-store-reasoning 0.3.1-SNAPSHOT API)

public interface Theory

Method Summary

Modifier and Type

Method

Description

TheorySupport

checkSupport(TheoryRule theoryRule)

void

createPropagator(ModelStoreBuilder storeBuilder, Collection<TheoryRule> collectedRules)

Method Details
- checkSupport
  
  TheorySupport checkSupport(TheoryRule theoryRule)
- createPropagator
  
  void createPropagator(ModelStoreBuilder storeBuilder, Collection<TheoryRule> collectedRules)