au.csiro.snorocket.core.axioms.NF8 Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of snorocket-core Show documentation

There is a newer version: 4.0.1

/**
 * Copyright CSIRO Australian e-Health Research Centre (http://aehrc.com).
 * All rights reserved. Use is subject to license terms and conditions. 
 */
package au.csiro.snorocket.core.axioms;

import au.csiro.snorocket.core.model.Datatype;

/**
 * Normal form 8. Feature f with operator op and value v subsumes B.
 * 
 * @author Alejandro Metke
 * 
 */
public final class NF8 extends NormalFormGCI {

    /**
     * Serialisation version.
     */
    private static final long serialVersionUID = 1L;
    
    final public Datatype lhsD;
    final public int rhsB;

    /**
	 * 
	 */
    public NF8(Datatype lhsD, int rhsB) {
        this.lhsD = lhsD;
        this.rhsB = rhsB;
    }

    public static NF8 getInstance(Datatype d, int b) {
        return new NF8(d, b);
    }

    public String toString() {
        return lhsD.getFeature() + ".(" + lhsD.getLiteral() + ")" + " [ " + rhsB;
    }

    @Override
    public int[] getConceptsInAxiom() {
        return new int[] { rhsB };
    }

}