org.w3.banana.isomorphism

IsomorphismTest

Related Doc: package isomorphism

class IsomorphismTest[Rdf <: RDF] extends SpecLite with IsomorphismBNodeTrait[Rdf]

Generic Tests for isomorphism functions that use whatever the Ops implementation chooses

Linear Supertypes
IsomorphismBNodeTrait[Rdf], SpecLite, Properties, Prop, Testable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. IsomorphismTest
  2. IsomorphismBNodeTrait
  3. SpecLite
  4. Properties
  5. Prop
  6. Testable
  7. AnyRef
  8. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new IsomorphismTest()(implicit ops: RDFOps[Rdf])

Type Members

  1. implicit class AnyOps[A] extends AnyRef

    Definition Classes
    SpecLite

  2. implicit class PropertyOps extends AnyRef

    Definition Classes
    SpecLite

  3. class PropertySpecifier extends AnyRef

    Definition Classes
    Properties

  4. implicit class StringOps extends AnyRef

    Definition Classes
    SpecLite

Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Definition Classes
    AnyRef → Any

  3. def &&(p: ⇒ Prop): Prop

    Definition Classes
    Prop

  4. def +(other: String): String

    Implicit information
    This member is added by an implicit conversion from IsomorphismTest[Rdf] to any2stringadd[IsomorphismTest[Rdf]] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd

  5. def ++(p: ⇒ Prop): Prop

    Definition Classes
    Prop

  6. def ->[B](y: B): (IsomorphismTest[Rdf], B)

    Implicit information
    This member is added by an implicit conversion from IsomorphismTest[Rdf] to ArrowAssoc[IsomorphismTest[Rdf]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()

  7. def :|(l: Symbol): Prop

    Definition Classes
    Prop

  8. def :|(l: String): Prop

    Definition Classes
    Prop

  9. def ==(p: ⇒ Prop): Prop

    Definition Classes
    Prop

  10. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  11. def ==>(p: ⇒ Prop): Prop

    Definition Classes
    Prop

  12. implicit def Function1IntInt[A](implicit A: Arbitrary[Int]): Arbitrary[(Int) ⇒ Int]

    Definition Classes
    SpecLite

  13. def alex(i: Int): Rdf.BNode

    Definition Classes
    IsomorphismBNodeTrait

  14. def antonio(i: Int): Rdf.BNode

    Definition Classes
    IsomorphismBNodeTrait

  15. def apply(p: Parameters): Result

    Definition Classes
    Properties → Prop

  16. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  17. def bnAlexRel1Graph(i: Int = 1): Rdf.Graph

    Definition Classes
    IsomorphismBNodeTrait

  18. def bnAlexRel2Graph(i: Int = 1): Rdf.Graph

    Definition Classes
    IsomorphismBNodeTrait

  19. def bnAntonioRel1Graph(i: Int = 1): Rdf.Graph

    Definition Classes
    IsomorphismBNodeTrait

  20. def bnAntonioRel2Graph(i: Int = 1): Rdf.Graph

    Definition Classes
    IsomorphismBNodeTrait

  21. def bnKnowsBN(i: Int, j: Int): Rdf.Graph

    Definition Classes
    IsomorphismBNodeTrait

  22. implicit def booleanToProp(b: ⇒ Boolean): Prop

    Definition Classes
    SpecLite

  23. def check(x: ⇒ Boolean): Prop

    Definition Classes
    SpecLite

  24. def check: Unit

    Definition Classes
    Properties → Prop

  25. def check(prms: Parameters): Unit

    Definition Classes
    Properties → Prop

  26. def check(paramFun: (Parameters) ⇒ Parameters): Unit

    Definition Classes
    Prop

  27. implicit def check1[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

    Definition Classes
    SpecLite

  28. def checkAll(props: Properties): Seq[ListBuffer[(String, Prop)]]

    Definition Classes
    SpecLite

  29. def checkAll(name: String, props: Properties): Seq[ListBuffer[(String, Prop)]]

    Definition Classes
    SpecLite

  30. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  31. def combine(p: Prop)(f: (Result, Result) ⇒ Result): Prop

    Definition Classes
    Prop

  32. def ensuring(cond: (IsomorphismTest[Rdf]) ⇒ Boolean, msg: ⇒ Any): IsomorphismTest[Rdf]

    Implicit information
    This member is added by an implicit conversion from IsomorphismTest[Rdf] to Ensuring[IsomorphismTest[Rdf]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  33. def ensuring(cond: (IsomorphismTest[Rdf]) ⇒ Boolean): IsomorphismTest[Rdf]

    Implicit information
    This member is added by an implicit conversion from IsomorphismTest[Rdf] to Ensuring[IsomorphismTest[Rdf]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  34. def ensuring(cond: Boolean, msg: ⇒ Any): IsomorphismTest[Rdf]

    Implicit information
    This member is added by an implicit conversion from IsomorphismTest[Rdf] to Ensuring[IsomorphismTest[Rdf]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  35. def ensuring(cond: Boolean): IsomorphismTest[Rdf]

    Implicit information
    This member is added by an implicit conversion from IsomorphismTest[Rdf] to Ensuring[IsomorphismTest[Rdf]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  36. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  37. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  38. def fail(msg: String): Nothing

    Definition Classes
    SpecLite

  39. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  40. def flatMap(f: (Result) ⇒ Prop): Prop

    Definition Classes
    Prop

  41. val foaf: FOAFPrefix[Rdf]

    Definition Classes
    IsomorphismBNodeTrait

  42. def formatted(fmtstr: String): String

    Implicit information
    This member is added by an implicit conversion from IsomorphismTest[Rdf] to StringFormat[IsomorphismTest[Rdf]] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()

  43. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  44. def groundedGraph: Rdf.Graph

    Definition Classes
    IsomorphismBNodeTrait

  45. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  46. val hjs: Rdf.URI

    Definition Classes
    IsomorphismBNodeTrait

  47. def include(ps: Properties, prefix: String): Unit

    Definition Classes
    Properties

  48. def include(ps: Properties): Unit

    Definition Classes
    Properties

  49. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  50. def label(l: String): Prop

    Definition Classes
    Prop

  51. def list(size: Int, bnprefix: String): Rdf.Graph

    Definition Classes
    IsomorphismBNodeTrait

  52. def main(args: Array[String]): Unit

    Definition Classes
    Prop

  53. def mainCallsExit: Boolean

    Definition Classes
    Prop

  54. def mainRunner(args: Array[String]): Int

    Definition Classes
    Properties → Prop

  55. def map(f: (Result) ⇒ Result): Prop

    Definition Classes
    Prop

  56. val name: String

    Definition Classes
    SpecLite → Properties

  57. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  58. final def notify(): Unit

    Definition Classes
    AnyRef

  59. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  60. implicit val ops: RDFOps[Rdf]

    Definition Classes
    IsomorphismTest → IsomorphismBNodeTrait

  61. def owlSameAs(node1: Rdf.Node, node2: Rdf.Node): Rdf.Graph

    Definition Classes
    IsomorphismBNodeTrait

  62. def prop[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

    Definition Classes
    SpecLite

  63. implicit def propToProp(p: ⇒ Prop): Prop

    Definition Classes
    SpecLite

  64. def properties: Seq[(String, Prop)]

    Definition Classes
    Properties

  65. lazy val property: PropertySpecifier

    Definition Classes
    Properties

  66. val rdf: RDFPrefix[Rdf]

    Definition Classes
    IsomorphismBNodeTrait

  67. def symmetricGraph(i: Int, j: Int): Rdf.Graph

    Definition Classes
    IsomorphismBNodeTrait

  68. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  69. val timbl: Rdf.URI

    Definition Classes
    IsomorphismBNodeTrait

  70. def toString(): String

    Definition Classes
    Prop → AnyRef → Any

  71. implicit def unitToProp(u: ⇒ Unit): Prop

    Definition Classes
    SpecLite

  72. implicit def unitToProp2(u: Unit): Prop

    Definition Classes
    SpecLite

  73. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  74. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  75. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  76. def xbn(i: Int): Rdf.BNode

    Definition Classes
    IsomorphismBNodeTrait

  77. def |:(l: Symbol): Prop

    Definition Classes
    Prop

  78. def |:(l: String): Prop

    Definition Classes
    Prop

  79. def ||(p: ⇒ Prop): Prop

    Definition Classes
    Prop

  80. def →[B](y: B): (IsomorphismTest[Rdf], B)

    Implicit information
    This member is added by an implicit conversion from IsomorphismTest[Rdf] to ArrowAssoc[IsomorphismTest[Rdf]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from IsomorphismBNodeTrait[Rdf]

Inherited from SpecLite

Inherited from Properties

Inherited from Prop

Inherited from Testable

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from IsomorphismTest[Rdf] to any2stringadd[IsomorphismTest[Rdf]]

Inherited by implicit conversion StringFormat from IsomorphismTest[Rdf] to StringFormat[IsomorphismTest[Rdf]]

Inherited by implicit conversion Ensuring from IsomorphismTest[Rdf] to Ensuring[IsomorphismTest[Rdf]]

Inherited by implicit conversion ArrowAssoc from IsomorphismTest[Rdf] to ArrowAssoc[IsomorphismTest[Rdf]]

Ungrouped