• Home
• org.xowl.infra
• xowl-lang
• 1.0-beta9
• source code
• CardinalityRestriction.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.xowl.infra.lang.owl2.CardinalityRestriction Maven / Gradle / Ivy

/* This file has been generated by:
   xOWL Code Generator
*/
package org.xowl.infra.lang.owl2;

public interface CardinalityRestriction extends org.xowl.infra.lang.owl2.ClassRestriction {
    // 
    public static interface cardinality {
        boolean check_contains(org.xowl.infra.lang.owl2.LiteralExpression elem);
        boolean user_check_add(org.xowl.infra.lang.owl2.LiteralExpression elem);
        boolean user_check_remove(org.xowl.infra.lang.owl2.LiteralExpression elem);
        boolean user_check_replace(org.xowl.infra.lang.owl2.LiteralExpression oldElem, org.xowl.infra.lang.owl2.LiteralExpression  newElem);
        void user_add(org.xowl.infra.lang.owl2.LiteralExpression elem);
        void user_remove(org.xowl.infra.lang.owl2.LiteralExpression elem);
        boolean inverse_check_add(org.xowl.infra.lang.owl2.LiteralExpression elem);
        boolean inverse_check_remove(org.xowl.infra.lang.owl2.LiteralExpression elem);
        boolean inverse_check_replace(org.xowl.infra.lang.owl2.LiteralExpression oldElem, org.xowl.infra.lang.owl2.LiteralExpression  newElem);
        void inverse_add(org.xowl.infra.lang.owl2.LiteralExpression elem);
        void inverse_remove(org.xowl.infra.lang.owl2.LiteralExpression elem);
    }
    cardinality __getImplOfcardinality();
    boolean setCardinality(org.xowl.infra.lang.owl2.LiteralExpression elem);
    org.xowl.infra.lang.owl2.LiteralExpression getCardinality();
    // 
}