Uses of Class
com.semedy.reasoner.rewriter.sips.WeightedLiteral

Packages that use WeightedLiteral

Package	Description
com.semedy.reasoner.rewriter.sips

Uses of WeightedLiteral in com.semedy.reasoner.rewriter.sips

Methods in com.semedy.reasoner.rewriter.sips that return WeightedLiteral

Modifier and Type	Method	Description
WeightedLiteral[]	EqualSIPS.orderBodies(Rule rule, BitSet groundVars, long[] groundValues, IntensionalDB IDB, ExtensionalDB[] edbs, SymbolTable symbols)
WeightedLiteral[]	SIPS.orderBodies(Rule rule, BitSet groundVars, long[] groundValues, IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols)	Arrange the bodies of a rule.
WeightedLiteral[]	TopDownSIPS.orderBodies(Rule rule, BitSet groundVars, long[] groundValues, IntensionalDB IDB, ExtensionalDB[] edbs, SymbolTable symbols)