AtomMap

class AtomMap : Bijection<Atom>

A bijection between two sets of atoms.

Constructors

Link copied to clipboard
fun AtomMap()

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
fun add(a: Atom, b: Atom)
Link copied to clipboard
fun addAll(other: Bijection<Atom>)
Link copied to clipboard
fun getA(b: Atom): Atom?
Link copied to clipboard
fun getAOrThrow(b: Atom): Atom
Link copied to clipboard
fun getB(a: Atom): Atom?
Link copied to clipboard
fun getBOrThrow(a: Atom): Atom
Link copied to clipboard
fun removeA(a: Atom): Boolean
Link copied to clipboard
fun removeAOrThrow(a: Atom)
Link copied to clipboard
fun removeB(b: Atom): Boolean
Link copied to clipboard
fun removeBOrThrow(b: Atom)