com.articulate.sigma.semRewrite

Class Clause

java.lang.Object

com.articulate.sigma.semRewrite.Clause

public class Clause
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.util.ArrayList<Literal>	disjuncts

Constructor Summary

Constructors

Constructor and Description
Clause()

Method Summary

Modifier and Type	Method and Description
Clause	applyBindings(java.util.HashMap<java.lang.String,java.lang.String> bindings)
void	clearBound() Clear the bound flags on each Literal
void	clearPreserve() Clear the preserve flags on each Literal
void	copyBoundFlags(Clause d) Copy bound flags to this set of clauses
Clause	deepCopy()
boolean	empty()
boolean	equals(java.lang.Object o)
void	preProcessQuestionWords(java.util.List<java.lang.String> qwords)
void	removeBound() If literal is not marked "preserve" then remove it if bound and then reset the preserve flag.
java.lang.String	toString()
java.util.HashMap<java.lang.String,java.lang.String>	unify(Clause d) The argument to this method is the rule and this is the sentence

Methods inherited from class java.lang.Object

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

Field Detail

disjuncts

public java.util.ArrayList<Literal> disjuncts

Constructor Detail

Clause

public Clause()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

deepCopy

public Clause deepCopy()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

empty

public boolean empty()

preProcessQuestionWords

public void preProcessQuestionWords(java.util.List<java.lang.String> qwords)

clearBound

public void clearBound()

Clear the bound flags on each Literal

clearPreserve

public void clearPreserve()

Clear the preserve flags on each Literal

removeBound

public void removeBound()

If literal is not marked "preserve" then remove it if bound and then reset the preserve flag. Note this should only be called on inputs, not rules.

copyBoundFlags

public void copyBoundFlags(Clause d)

Copy bound flags to this set of clauses

applyBindings

public Clause applyBindings(java.util.HashMap<java.lang.String,java.lang.String> bindings)

Returns:

a clause that results from applying a binding list to this clause.

unify

public java.util.HashMap<java.lang.String,java.lang.String> unify(Clause d)

The argument to this method is the rule and this is the sentence

Returns:

the set of variable bindings. The key is the variable and the value is the binding.