com.clarkparsia.pellet.rules
Class TrivialSatisfactionHelpers

java.lang.Object
  extended by com.clarkparsia.pellet.rules.TrivialSatisfactionHelpers

public class TrivialSatisfactionHelpers
extends java.lang.Object

Title: Trivial Satisfaction helper

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:
Ron Alford

Constructor Summary
TrivialSatisfactionHelpers(ABox abox)
           
 
Method Summary
 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)


Copyright © 2004 Evren Sirin. All Rights Reserved.