Polytope

class Polytope(val dimension: UInt, val faces: KoneList<KoneReifiedSet<Polytope>>, val properties: OwnedProviderRegistry<Polytope> = OwnedProviderRegistry.empty())(source)

Constructors

constructor(dimension: UInt, faces: KoneList<KoneReifiedSet<Polytope>>, properties: OwnedProviderRegistry<Polytope> = OwnedProviderRegistry.empty())

data object NameKey : RegistryKey<String>

@get:JvmName(name = "getPolytopeName")

val properties: OwnedProviderRegistry<Polytope>

inline fun Polytope.copyBuilding(propertiesMapper: MutableOwnedProviderRegistry<Polytope>.(currentPolytope: Polytope, polytopesMapping: KoneList<KoneMap<Polytope, Polytope>>) -> Unit): Polytope

inline fun Polytope.copyMapping(propertiesMapper: (currentPolytope: Polytope, polytopesMapping: KoneList<KoneMap<Polytope, Polytope>>) -> OwnedProviderRegistry<Polytope>): Polytope

open operator override fun equals(other: Any?): Boolean

open override fun toString(): String