ai.krr.propositions
Class IntEncodedClause.LiteralSet

java.lang.Object
  ai.krr.propositions.IntEncodedClause.LiteralSet

Enclosing class:

IntEncodedClause

protected static class IntEncodedClause.LiteralSet
extends java.lang.Object

Constructor Summary

IntEncodedClause.LiteralSet(int maxP)

Method Summary

void	add(int lit)
boolean	containedIn(IntEncodedClause clause)
boolean	contains(int lit)
boolean	isEmpty()
IntEncodedClause	removeComplements(IntEncodedClause clause)

Methods inherited from class java.lang.Object

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

Constructor Detail

IntEncodedClause.LiteralSet

public IntEncodedClause.LiteralSet(int maxP)

Method Detail

add

public void add(int lit)

isEmpty

public boolean isEmpty()

contains

public boolean contains(int lit)

containedIn

public boolean containedIn(IntEncodedClause clause)

removeComplements

public IntEncodedClause removeComplements(IntEncodedClause clause)