src/app/model/domain/fol.graph.ts
FOL structure in graph form. Serializable.
Properties |
| description |
description:
|
Type : string
|
| edges |
edges:
|
Type : FOLEdge[]
|
| lastEdit |
lastEdit:
|
Type : number
|
| name |
name:
|
Type : string
|
| nodes |
nodes:
|
Type : FOLNode[]
|
import { FOLEdge } from 'src/app/model/domain/fol.edge';
import { FOLNode } from 'src/app/model/domain/fol.node';
/**
* FOL structure in graph form.
* Serializable.
*/
export interface FOLGraph {
name: string;
description: string;
lastEdit: number;
nodes: FOLNode[];
edges: FOLEdge[];
}