/** * Return the lower bound. */ public long lowerBound() { return (Long) super.getRequiredProperty(Annotations.LOWER_BOUND); }
/** * Return the upper bound. */ public long upperBound() { return (Long) super.getRequiredProperty(Annotations.UPPER_BOUND); }
/** * Returns the right term. */ public TermNode right() { return (TermNode) super.getRequiredProperty(Annotations.RIGHT); }
/** * Returns the left term. */ public TermNode left() { return (TermNode) super.getRequiredProperty(Annotations.LEFT); }
/** * Returns the left term. */ public TermNode left() { return (TermNode) super.getRequiredProperty(Annotations.LEFT_TERM); }
/** * Return the right transitivity var. */ public VarNode tVarRight() { return (VarNode) super.getRequiredProperty(Annotations.TRANSITIVITY_VAR_RIGHT); }
/** * Returns the left term. */ public TermNode left() { return (TermNode) super.getRequiredProperty(Annotations.LEFT); }
/** * Returns the right term. */ public TermNode right() { return (TermNode) super.getRequiredProperty(Annotations.RIGHT); }
/** * Returns the right term. */ public TermNode right() { return (TermNode) super.getRequiredProperty(Annotations.RIGHT_TERM); }
/** * Return the lower bound. */ public long lowerBound() { return (Long) super.getRequiredProperty(Annotations.LOWER_BOUND); }
/** * Return the upper bound. */ public long upperBound() { return (Long) super.getRequiredProperty(Annotations.UPPER_BOUND); }
/** * Returns the right term. */ public TermNode right() { return (TermNode) super.getRequiredProperty(Annotations.RIGHT_TERM); }
/** * Return the left transitivity var. */ public VarNode tVarLeft() { return (VarNode) super.getRequiredProperty(Annotations.TRANSITIVITY_VAR_LEFT); }
/** * Returns the left term. */ public TermNode left() { return (TermNode) super.getRequiredProperty(Annotations.LEFT_TERM); }
/** * Return the left transitivity var. */ public VarNode tVarLeft() { return (VarNode) super.getRequiredProperty(Annotations.TRANSITIVITY_VAR_LEFT); }
/** * Return the right transitivity var. */ public VarNode tVarRight() { return (VarNode) super.getRequiredProperty(Annotations.TRANSITIVITY_VAR_RIGHT); }