Package openllet.core.rules

Class TrivialSatisfactionHelpers

java.lang.Object

openllet.core.rules.TrivialSatisfactionHelpers

public class TrivialSatisfactionHelpers
extends java.lang.Object

Title: Trivial Satisfaction helper

Copyright: Copyright (_c) 2007

Company: Clark & Parsia, LLC.

Author:

Ron Alford

Constructor Summary

Constructors

Constructor	Description
TrivialSatisfactionHelpers(ABox abox)

Method Summary

Modifier and Type	Method	Description
java.util.Collection<BindingHelper>	getHelpers(Rule rule)
DependencySet	isAtomTrue(RuleAtom atom, VariableBinding binding)

Methods inherited from class java.lang.Object

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

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)