mirror of
https://github.com/IRBorisov/ConceptPortal.git
synced 2025-06-26 04:50:36 +03:00
This commit is contained in:
parent
f4886ca61e
commit
178499676c
|
@ -4,10 +4,15 @@ import { HelpTopic } from '@/models/miscellaneous';
|
|||
import TextURL from './TextURL';
|
||||
|
||||
interface TextURLProps {
|
||||
/** Text to display. */
|
||||
text: string;
|
||||
/** Topic to link to. */
|
||||
topic: HelpTopic;
|
||||
}
|
||||
|
||||
/**
|
||||
* Displays a link to a help topic.
|
||||
*/
|
||||
function LinkTopic({ text, topic }: TextURLProps) {
|
||||
return <TextURL text={text} href={urls.help_topic(topic)} />;
|
||||
}
|
||||
|
|
|
@ -6,8 +6,11 @@
|
|||
* Represents single node of a {@link Graph}, as implemented by storing outgoing and incoming connections.
|
||||
*/
|
||||
export class GraphNode {
|
||||
/** Unique identifier of the node. */
|
||||
id: number;
|
||||
/** List of outgoing nodes. */
|
||||
outputs: number[];
|
||||
/** List of incoming nodes. */
|
||||
inputs: number[];
|
||||
|
||||
constructor(id: number) {
|
||||
|
@ -48,6 +51,7 @@ export class GraphNode {
|
|||
* This class is optimized for TermGraph use case and not supposed to be used as generic graph implementation.
|
||||
*/
|
||||
export class Graph {
|
||||
/** Map of nodes. */
|
||||
nodes = new Map<number, GraphNode>();
|
||||
|
||||
constructor(arr?: number[][]) {
|
||||
|
|
|
@ -14,7 +14,7 @@ function HelpSubstitutions() {
|
|||
учетом других отождествлений
|
||||
</li>
|
||||
<li>логические выражения могут замещать только другие логические выражения</li>
|
||||
<li>при отождествлении параметризованных конституент количество и типизации операндов должно совпадать</li>
|
||||
<li>при отождествлении параметризованных конституент количество и типизации аргументов должно совпадать</li>
|
||||
</p>
|
||||
</div>
|
||||
);
|
||||
|
|
Loading…
Reference in New Issue
Block a user