Interface Relation<D,C>

All Known Subinterfaces:
Bijection<D,C>, ContinuousFunction<D,C>, ConvergentSequence<T>, DifferentiableFunction<D,C>, DiscreteMap<T>, Function<D,C>, IntegerSequence, IntegrableFunction<D,C>, MultivariateFunction, MultivariateRealFunction, ParametricCurve, ParametricSurface, ProbabilityDistribution, RealFunction, ScalarField<V>, ScalarFunction<D>, Sequence<T>, Transform<D,C>, UnivariateFunction, VectorField<V>, VectorFunction<F>
All Known Implementing Classes:
ArnoldCatMap, BellSequence, BetaDistribution, BezierCurve, BinomialDistribution, CatalanSequence, CauchyDistribution, ChiSquareDistribution, Circle, Cone, ContinuousDistribution, Cylinder, DiscreteDistribution, DiscreteFourierTransform, Ellipse, Ellipsoid, ExponentialDistribution, FactorialSequence, FibonacciSequence, GammaDistribution, GeometricDistribution, GingerbreadManMap, Helix, HenonMap, LogisticMap, LogNormalDistribution, NormalDistribution, Paraboloid, PoissonDistribution, PolynomialFunction, PrimePiSequence, PrimeSequence, RecursiveSequence, Sphere, SquareSequence, StandardMap, StudentTDistribution, Torus, TriangularSequence, UniformDistribution, WeibullDistribution
public interface Relation<D,C>
Represents a binary relation between a domain D and a codomain C.

A relation is a set of ordered pairs (d, c) where d ∈ D and c ∈ C.

Since:
1.0
Author:
Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    contains(D input, C output)
    Checks if the relation contains the pair (input, output).
    default String
    getCodomain()
    Returns the codomain description.
    default String
    getDomain()
    Returns the domain description.

  • Method Details

    • contains

      boolean contains(D input, C output)
      Checks if the relation contains the pair (input, output).
      Parameters:
      input - the input element from the domain
      output - the output element from the codomain
      Returns:
      true if (input, output) is in the relation

    • getDomain

      default String getDomain()
      Returns the domain description.
      Returns:
      domain name (e.g., "ℝ", "ℕ", "ℂ")

    • getCodomain

      default String getCodomain()
      Returns the codomain description.
      Returns:
      codomain name