com.clarkparsia.pellet.rules
Class TrivialSatisfactionHelpers
java.lang.Object
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
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TrivialSatisfactionHelpers
public TrivialSatisfactionHelpers(ABox abox)
getHelpers
public java.util.Collection<BindingHelper> getHelpers(Rule rule)
isAtomTrue
public DependencySet isAtomTrue(RuleAtom atom,
VariableBinding binding)
Copyright © 2004 Evren Sirin. All Rights Reserved.