Package com.semedy.reasoner.rewriter.sips

Class EqualSIPS

java.lang.Object

com.semedy.reasoner.rewriter.sips.EqualSIPS

All Implemented Interfaces:

SIPS

public class EqualSIPS
extends Object
implements SIPS

This SIPS does not change the sequence of rule bodies.

Author:

Juergen Baier

Field Summary

Fields

Modifier and Type	Field	Description
static final EqualSIPS	INSTANCE

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

INSTANCE

public static final EqualSIPS INSTANCE

Method Details

orderBodies

public WeightedLiteral[] orderBodies(Rule rule,
 BitSet groundVars,
 long[] groundValues,
 IntensionalDB IDB,
 ExtensionalDB[] edbs,
 SymbolTable symbols)
                              throws RewriterException

Description copied from interface: SIPS

Arrange the bodies of a rule. Returns null if it cannot be arranged.

Specified by:

orderBodies in interface SIPS

Parameters:

rule - the rule

groundVars - the topdown instantiated variables of the rule

groundValues - variable instantiations

IDB - the intensional database

edbs - the extensional databases

symbols - the symbol table

Returns:

the weighted literals or null if no reordering is possible with this SIPS

Throws:

RewriterException - if an error occurs