org.swrlapi.drools.owl.classes.OCCE Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of swrlapi-drools-engine Show documentation

Drools implementation of SWRLAPI-based SWRL rule engine

There is a newer version: 2.1.2

Show newest version

package org.swrlapi.drools.owl.classes;

import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.dataflow.qual.SideEffectFree;
import org.swrlapi.drools.owl.core.DroolsTernaryObject;
import org.swrlapi.drools.owl.properties.OP;

/**
 * This class represents an OWL object exact cardinality class expression in Drools.
 *
 * @see org.semanticweb.owlapi.model.OWLObjectExactCardinality
 */
public class OCCE extends DroolsTernaryObject implements CE
{
  private static final long serialVersionUID = 1L;

  public OCCE(@NonNull String ceid, @NonNull OP p, @NonNull Integer card)
  {
    super(ceid, p, card);
  }

  public OCCE(@NonNull String ceid, @NonNull String propertyID, @NonNull Integer card)
  {
    super(ceid, new OP(propertyID), card);
  }

  @NonNull @Override public String getceid()
  {
    return getT1();
  }

  @NonNull public OP getP()
  {
    return getT2();
  }

  @NonNull public Integer getCard()
  {
    return getT3();
  }

  @SideEffectFree @NonNull @Override public String toString()
  {
    return "OCE" + super.toString();
  }
}