public static Clash unexplained(final Node node, final DependencySet depends) { return new Clash(node, ClashType.UNEXPLAINED, depends); }
public static Clash atomic(final Node node, final DependencySet depends) { return new Clash(node, ClashType.ATOMIC, depends); }
public static Clash minMax(final Node node, final DependencySet depends) { return new Clash(node, ClashType.MIN_MAX, depends); }
public static Clash atomic(final Node node, final DependencySet depends, final ATermAppl c) { return new Clash(node, ClashType.ATOMIC, depends, new ATerm[] { c }); }
public static Clash nominal(final Node node, final DependencySet depends, final ATermAppl other) { return new Clash(node, ClashType.NOMINAL, depends, new ATermAppl[] { other }); }
public static Clash maxCardinality(final Node node, final DependencySet depends) { return new Clash(node, ClashType.MAX_CARD, depends); }
public static Clash valueDatatype(final Node node, final DependencySet depends, final ATermAppl value, final ATermAppl datatype) { return new Clash(node, ClashType.VALUE_DATATYPE, depends, new ATermAppl[] { value, datatype }); }
public static Clash invalidLiteral(final Node node, final DependencySet depends, final ATermAppl value) { return new Clash(node, ClashType.INVALID_LITERAL, depends, new ATermAppl[] { value }); }
public static Clash emptyDatatype(final Node node, final DependencySet depends) { return new Clash(node, ClashType.EMPTY_DATATYPE, depends); }
public static Clash emptyDatatype(final Node node, final DependencySet depends, final ATermAppl[] datatypes) { return new Clash(node, ClashType.EMPTY_DATATYPE, depends, datatypes); }
public static Clash unexplained(final Node node, final DependencySet depends, final String msg) { return new Clash(node, ClashType.UNEXPLAINED, depends, msg); }
public static Clash nominal(final Node node, final DependencySet depends) { return new Clash(node, ClashType.NOMINAL, depends); }
public static Clash disjointProps(final Node node, final DependencySet depends, final ATermAppl p1, final ATermAppl p2) { return new Clash(node, ClashType.DISJOINT_PROPS, depends, new ATermAppl[] { p1, p2 }); }
public static Clash unexplained(final Node node, final DependencySet depends) { return new Clash(node, ClashType.UNEXPLAINED, depends); }
public static Clash bottomProperty(final Node node, final DependencySet depends, final ATermAppl p) { return new Clash(node, ClashType.BOTTOM_PROP, depends, new ATerm[] { p }); }
public static Clash invalidLiteral(final Node node, final DependencySet depends) { return new Clash(node, ClashType.INVALID_LITERAL, depends); }
public static Clash disjointProps(final Node node, final DependencySet depends, final ATermAppl p1, final ATermAppl p2) { return new Clash(node, ClashType.DISJOINT_PROPS, depends, new ATermAppl[] { p1, p2 }); }
public static Clash maxCardinality(final Node node, final DependencySet depends, final ATermAppl r, final int n) { return new Clash(node, ClashType.MAX_CARD, depends, new ATerm[] { r, ATermUtils.getFactory().makeInt(n) }); }
public Clash copyTo(final ABoxImpl abox) { return new Clash(abox.getNode(getNode().getName()), getType(), getDepends(), _clashExplanation); }
public Clash copyTo(final ABoxImpl abox) { return new Clash(abox.getNode(getNode().getName()), getType(), getDepends(), _clashExplanation); }