public class NegationDecoratorTest extends Object
Constructor and Description |
---|
NegationDecoratorTest() |
public void testNegatingASingleClause() throws TimeoutException, ContradictionException
public void testNegatingTwoClauses() throws TimeoutException, ContradictionException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.