// Path: core/src/com/clarkparsia/owlwg/testcase/PositiveEntailmentTest.java
// public interface PositiveEntailmentTest<O> extends EntailmentTest<O> {
// }


import org.semanticweb.owl.model.OWLIndividual;
import org.semanticweb.owl.model.OWLOntology;
import com.clarkparsia.owlwg.testcase.PositiveEntailmentTest;
import com.clarkparsia.owlwg.testcase.TestCaseVisitor;
package com.clarkparsia.owlwg.owlapi2.testcase.impl;



/**
 * <p>
 * Title: OWLAPIv2 Positive Entailment Test Case
 * </p>
 * <p>
 * Description:
 * </p>
 * <p>
 * Copyright: Copyright &copy; 2009
 * </p>
 * <p>
 * Company: Clark & Parsia, LLC. <a
 * href="http://clarkparsia.com/"/>http://clarkparsia.com/</a>
 * </p>
 * 
 * @author Mike Smith &lt;msmith@clarkparsia.com&gt;
 */
public class OwlApi2PosTstImpl extends OwlApi2ETImpl implements PositiveEntailmentTest<OWLOntology> {

	public OwlApi2PosTstImpl(OWLOntology ontology, OWLIndividual i) {
		super( ontology, i, true );
	}

	public void accept(TestCaseVisitor<OWLOntology> visitor) {
		visitor.visit( this );
	}

	@Override
	public String toString() {
// Path: core/src/com/clarkparsia/owlwg/testcase/PositiveEntailmentTest.java
// public interface PositiveEntailmentTest<O> extends EntailmentTest<O> {
// }


// Path: core/src/com/clarkparsia/owlwg/owlapi2/testcase/impl/OwlApi2PosTstImpl.java
import org.semanticweb.owl.model.OWLIndividual;
import org.semanticweb.owl.model.OWLOntology;
import com.clarkparsia.owlwg.testcase.PositiveEntailmentTest;
import com.clarkparsia.owlwg.testcase.TestCaseVisitor;

package com.clarkparsia.owlwg.owlapi2.testcase.impl;



/**
 * <p>
 * Title: OWLAPIv2 Positive Entailment Test Case
 * </p>
 * <p>
 * Description:
 * </p>
 * <p>
 * Copyright: Copyright &copy; 2009
 * </p>
 * <p>
 * Company: Clark & Parsia, LLC. <a
 * href="http://clarkparsia.com/"/>http://clarkparsia.com/</a>
 * </p>
 * 
 * @author Mike Smith &lt;msmith@clarkparsia.com&gt;
 */
public class OwlApi2PosTstImpl extends OwlApi2ETImpl implements PositiveEntailmentTest<OWLOntology> {

	public OwlApi2PosTstImpl(OWLOntology ontology, OWLIndividual i) {
		super( ontology, i, true );
	}

	public void accept(TestCaseVisitor<OWLOntology> visitor) {
		visitor.visit( this );
	}

	@Override
	public String toString() {
		return String.format( "PositiveEntailmentTest(%s)", getIdentifier() );