Package il2.inf

Interface Summary
JointEngine  
PartialDerivativeEngine  
 

Class Summary
BasicInference  
 

Enum Summary
Algorithm Semantically, each "Algorithm" constant represents a distinctive implementation of an inference algorithm.
Algorithm.EliminationOrderHeuristic elimination order heuristic
Algorithm.Key keys to identify properties of Settings
Algorithm.Order2JoinTree induce a join tree from an elimination order
Algorithm.Query kind of query that an inference engine might support
Algorithm.Result the inference engine itself and other intermediate side-effects
Algorithm.Setting control inference engine compilation
 



Copyright 2010 UCLA Automated Reasoning Group