com.clarkparsia.pellet.rules

Class TrivialSatisfactionHelpers

java.lang.Object

com.clarkparsia.pellet.rules.TrivialSatisfactionHelpers

public class TrivialSatisfactionHelpers
extends Object

Title: Trivial Satisfaction helper

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Ron Alford

Constructor Summary

Constructors

Constructor and Description
TrivialSatisfactionHelpers(ABox abox)

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

TrivialSatisfactionHelpers

public TrivialSatisfactionHelpers(ABox abox)

Method Detail

getHelpers

public Collection<BindingHelper> getHelpers(Rule rule)

isAtomTrue

public DependencySet isAtomTrue(RuleAtom atom,
                       VariableBinding binding)