Class RuleCompiler

java.lang.Object

tools.refinery.language.semantics.internal.query.RuleCompiler

public class RuleCompiler
extends Object

Constructor Summary

Constructors

Constructor	Description
RuleCompiler()

Method Summary

Modifier and Type	Method	Description
void	createTheoryRules(String name, RuleDefinition ruleDefinition, ConcretenessSpecification concretenessSpecification)
void	initialize(QueryCompiler queryCompiler, TheoryManager theoryManager)
DecisionRule	toDecisionRule(String name, RuleDefinition ruleDefinition)
Collection<Rule>	toPropagationRules(String name, RuleDefinition ruleDefinition, ConcretenessSpecification concreteness)
Rule	toRule(String name, RuleDefinition ruleDefinition)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RuleCompiler

public RuleCompiler()

Method Details

initialize

public void initialize(QueryCompiler queryCompiler,
 TheoryManager theoryManager)

toDecisionRule

public DecisionRule toDecisionRule(String name,
 RuleDefinition ruleDefinition)

toPropagationRules

public Collection<Rule> toPropagationRules(String name,
 RuleDefinition ruleDefinition,
 ConcretenessSpecification concreteness)

createTheoryRules

public void createTheoryRules(String name,
 RuleDefinition ruleDefinition,
 ConcretenessSpecification concretenessSpecification)

toRule

public Rule toRule(String name,
 RuleDefinition ruleDefinition)