Class ACSet

An acset consists of a collection of tables, one for every object in the schema.

The rows of the tables are called "parts", and the cells of the rows are called "subparts".

One can get all of the parts corresponding to an object, add parts, get the subparts, and set the subparts. Removing parts is currently unsupported.

Hierarchy

ACSet

Index

Constructors

Properties

_parts _subparts name schema

Methods

addPart addParts export exportPart hasPart hasSubpart importPart incident nparts partArray parts setSubpart subpart import

Constructors

constructor

new ACSet(name, schema): ACSet
Initialize a new ACSet.
Parameters
- name: string
  
  The name of the ACSset.
- schema: Schema
  
  The schema of the ACSet.
Returns ACSet
- Defined in acset.ts:32

Properties

`Private` _parts

_parts: Map<Ob, number>

`Private` _subparts

_subparts: Map<Property, Map<number, any>>

name

name: string

schema

schema: Schema

Methods

addPart

addPart(ob): number
Add a single part to an object in the ACSet
Parameters
- ob: Ob
  
  The object in the ACSet to add a part to.
Returns number
The index of the new part added to the object.
- Defined in acset.ts:65

addParts

addParts(ob, n): [number, number]
Add n parts to an object in the ACset.
Parameters
- ob: Ob
  
  The object in the ACSet to add parts to.
- n: number
  
  The number of parts to be added.
Returns [number, number]
A range of the indexes of the new parts added to the object.
- Defined in acset.ts:49

export

export(): ExportedACSet
Serialize the ACSet to a JSON object.

Returns ExportedACSet
The JSON object of the serialized ACSet.
- Defined in acset.ts:194

`Private` exportPart

exportPart(ob, i): ExportedPart
Parameters
- ob: Ob
- i: number
Returns ExportedPart
- Defined in acset.ts:166

hasPart

hasPart(ob, i): boolean
Checks whether a certain part exists in the ACSet
Parameters
- ob: Ob
- i: number
Returns boolean
- Defined in acset.ts:72

hasSubpart

hasSubpart(i, f): boolean
Check if a property exists for a given row in a table of the ACSset.
Parameters
- i: number
  
  The row index for the property mapping to be added to.
- f: Property
  
  The Hom or Attr to check for.
Returns boolean
- Defined in acset.ts:84

`Private` importPart

importPart(ob, exported): void
Parameters
- ob: Ob
- exported: ExportedPart
Returns void
- Defined in acset.ts:183

incident

incident(x, f): number[]
Get all of the subparts incident to a part in the ACset.
Parameters
- x: any
  
  The subpart to look for.
- f: Property
  
  The Hom or Attr mapping to search.
Returns number[]
A list indexes.
- Defined in acset.ts:156

nparts

nparts(ob): number
Get the number of rows in a given table of the ACSet.
Parameters
- ob: Ob
  
  The object in the ACSet.
Returns number
The number of rows in ob.
- Defined in acset.ts:125

partArray

partArray(ob): number[]
Parameters
- ob: Ob
Returns number[]
- Defined in acset.ts:144

parts

parts(ob): [number, number]
Get all of the row indexes in a given table of the ACSet.
Parameters
- ob: Ob
  
  The object in the ACSet.
Returns [number, number]
The range of all of the rows in ob.
- Defined in acset.ts:140

setSubpart

setSubpart(i, f, x): void
Modify a morphism or attribute for a row in a table of the ACSet.
Parameters
- i: number
  
  The row index for the property mapping to be added to.
- f: Property
  
  The Hom or Attr to modify.
- x: any
  
  A valid type for the given Hom or Attr to set the value or None to delete the property.
Returns void
- Defined in acset.ts:96

subpart

subpart(i, f): any
Get the subpart of a part in an ACSet
Parameters
- i: number
  
  The part that you are indexing.
- f: Property
  
  The Hom or Attr to retrieve.
Returns any
The subpart of the ACset.
- Defined in acset.ts:114

`Static` import

import(name, schema, exported): ACSet
Deserialize a JSON object to an ACSet with a given Schema.
Parameters
- name: string
  
  The name of the ACSset.
- schema: Schema
  
  The Schema of the ACSet that is defined in the given JSON.
- exported: ExportedACSet
Returns ACSet
The deserialized ACSet object.
- Defined in acset.ts:212

Generated using TypeDoc