Package openllet.core.rules
Class TrivialSatisfactionHelpers
- java.lang.Object
-
- openllet.core.rules.TrivialSatisfactionHelpers
-
public class TrivialSatisfactionHelpers extends java.lang.ObjectTitle: Trivial Satisfaction helper
Copyright: Copyright (_c) 2007
Company: Clark & Parsia, LLC.
- Author:
- Ron Alford
-
-
Constructor Summary
Constructors Constructor Description TrivialSatisfactionHelpers(ABox abox)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.Collection<BindingHelper>getHelpers(Rule rule)DependencySetisAtomTrue(RuleAtom atom, VariableBinding binding)
-
-
-
Constructor Detail
-
TrivialSatisfactionHelpers
public TrivialSatisfactionHelpers(ABox abox)
-
-
Method Detail
-
getHelpers
public java.util.Collection<BindingHelper> getHelpers(Rule rule)
-
isAtomTrue
public DependencySet isAtomTrue(RuleAtom atom, VariableBinding binding)
-
-