From 6b3b49969516322224f6043dfc53937d00ff65c1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=9C=D0=BE=D1=80=D0=BE=D0=B7=D0=BE=D0=B2=20=D0=90=D0=BD?= =?UTF-8?q?=D0=B4=D1=80=D0=B5=D0=B9?= Date: Fri, 22 Oct 2021 12:50:29 +0000 Subject: [PATCH] =?UTF-8?q?=D0=97=D0=B0=D0=B3=D1=80=D1=83=D0=B7=D0=B8?= =?UTF-8?q?=D0=BB(=D0=B0)=20=D1=84=D0=B0=D0=B9=D0=BB=D1=8B=20=D0=B2=20'bin?= =?UTF-8?q?/src'?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- bin/src/graph.dart | 293 +++++++++++++++++++++++++++++++-------------- 1 file changed, 204 insertions(+), 89 deletions(-) diff --git a/bin/src/graph.dart b/bin/src/graph.dart index f50c46f..626c870 100644 --- a/bin/src/graph.dart +++ b/bin/src/graph.dart @@ -1,21 +1,48 @@ import 'dart:io'; -class Point { - int i = -1; - int length = 0; +class Separators { + final String dotToConnections = ": "; + final String dotToLength = "|"; + final String hasLength = "Вес\n"; + final String hasNoLength = "НетВеса\n"; + final String isOriented = "Ориентированный\n"; + final String isNotOriented = "НеОриентированный\n"; + final String nL = "\n"; + final String end = "END"; + + Separators(); } class Dot { + //Data // ignore: prefer_final_fields String _name = ""; int num = -1; Map ln = {}; + //****Get**** String getName() => _name; - void setName(String n) => _name = n; bool hasConnection(int n) => ln.containsKey(n); - void addPath(int inp, int length) => ln[inp] = length; // нужна проверка на ориентированность - void delPath(int n) => ln.removeWhere((key, value) => key == n); // удалить обратный путь если не ориентированный + int getLength(int x) { + if (hasConnection(x)) { + return ln[x]!; + } + return -1; + } + //****Get**** + + //Set + void setName(String n) => _name = n; + + //Add + void addPath(int inp, int length) => + ln[inp] = length; // нужна проверка на ориентированность + + //Del + void delPath(int n) => ln.removeWhere((key, value) => + key == n); // удалить обратный путь если не ориентированный + + //Print void printD() { stdout.write("$_name: №$num => "); for (var i in ln.keys) { @@ -24,12 +51,12 @@ class Dot { stdout.write("\n"); } + //******Constructor****** Dot() { _name = "Undefined"; num = -1; ln = {}; } - Dot.fromTwoLists(String name, List num0, List length, [int n = -1]) { _name = name; @@ -44,14 +71,14 @@ class Dot { } } } - Dot.fromMap(String name, Map l, [int n = -1]) { _name = name; num = n; ln = l; } + //******Constructor****** - // Копирование + //Copy Dot.clone(Dot a) { _name = a.getName(); num = a.num; @@ -60,96 +87,69 @@ class Dot { } class Graphs { - String _name = "Undefined"; - int _amount = 0; - List _dots = []; + //Data + String _name = "Undefined"; //Имя + int _amount = 0; //Количество вершин + List _dots = []; //Список смежности вершин // ignore: prefer_final_fields - Map _nameTable = {}; - bool _useLength = false; + Map _nameTable = {}; //Список вершин по именам + bool _useLength = false; //Взвешенность // ignore: prefer_final_fields - bool _oriented = false; - - Graphs() { - _name = "Udefined"; - _dots = []; - _useLength = false; - _oriented = false; - _amount = 0; - _nameTable = {}; - } - - Graphs.fromList(String n, List d, bool useL) { - _name = n; - _dots = d; - _useLength = useL; - _amount = _dots.length; - _syncNum(); - } - - Graphs.fromFile(String path) { - File file = File(path); - List lines = file.readAsLinesSync(); - for (var l in lines) { - print(l); - } - } - - // Копирование - Graphs.clone(Graphs a) { - _name = a.getName(); - _dots = a.getDots(); - _oriented = a.getDoubleSided(); - _useLength = a.getUseLength(); - _amount = _dots.length; - _syncNameTable(); - } - - void toFile(String name) { - var file = File(name); - file.writeAsStringSync("$_name\n"); - file.writeAsStringSync("ksdfsdf1\n", mode: FileMode.append); - file.writeAsStringSync("\n", mode: FileMode.append); - file.writeAsStringSync("\n", mode: FileMode.append); - file.writeAsStringSync("ksdfsdf0\n", mode: FileMode.append); - file.writeAsStringSync("ksdfsdf1\n", mode: FileMode.append); - } - - void _syncNameTable() { - _nameTable = {}; - for (var i in _dots) { - _nameTable[i.num] = i.getName(); - } - } - - void _syncNum() { - _amount = 0; - for (var i in _dots) { - i.num = ++_amount; - } - _syncNameTable(); - } - - //Для неориентированного - void _fixPathAfterInsert(Dot a) { - for (var i in a.ln.keys) { - if (!_dots[i].ln.containsKey(a.num)) _dots[i].addPath(i, a.ln[i]!); - } - } + bool _oriented = false; //Ориентированность + //*********************Add************************ bool addDot(Dot a) { if (getNumByName(a.getName()) != null) { - print("Dot name already in use. Change name or use addPath"); + print( + "Dot name ${a.getName()} already in use. Change name or use addPath"); return false; } _amount++; a.num = _amount; _dots.add(a); _syncNameTable(); - if (_oriented) _fixPathAfterInsert(a); + checkDots(false); + if (!_oriented) _fullFix(); return true; } - bool checkDots(bool verbose) { + bool addDotFromToLists(String name, List num0, List length, + [int n = -1]) { + var a = Dot.fromTwoLists(name, num0, length, n); + if (getNumByName(a.getName()) != null) { + print( + "Dot name ${a.getName()} already in use. Change name or use addPath"); + return false; + } + _amount++; + a.num = _amount; + _dots.add(a); + _syncNameTable(); + checkDots(false); + if (!_oriented) _fixPathAfterInsert(a); + return true; + } + + bool addIsolated(String name) { + var o = addDot(Dot.fromTwoLists(name, [], [])); + _syncNameTable(); + return o; + } + + bool addPath(int from, int to, [int len = 0]) { + if (from <= 0 || from > _amount || to <= 0 && to > _amount) { + return false; + } + _dots[from - 1].addPath(to, len); + if (!_oriented) { + _dots[to - 1].addPath(from, len); + } + return true; + } + //*********************Add************************ + + //******Helper******* + bool checkDots([bool verbose = false]) { for (var a in _dots) { for (var i in a.ln.keys) { try { @@ -169,7 +169,38 @@ class Graphs { return true; } - //Getters + void _fixPathAfterInsert(Dot a) { + //Для неориентированного + for (var i in a.ln.keys) { + if (!_dots[i - 1].ln.containsKey(a.num)) { + _dots[i - 1].addPath(i, a.ln[i]!); + } + } + } + + void _fullFix() { + for (var i in _dots) { + _fixPathAfterInsert(i); + } + } + + void _syncNameTable() { + _nameTable = {}; + for (var i in _dots) { + _nameTable[i.num] = i.getName(); + } + } + + void _syncNum() { + _amount = 0; + for (var i in _dots) { + i.num = ++_amount; + } + _syncNameTable(); + } + //******Helper******* + + //*****Getters******* bool getDoubleSided() => _oriented; bool getUseLength() => _useLength; List getDots() => _dots; @@ -182,13 +213,26 @@ class Graphs { return null; } - //Print info + List>? getTable() { + List>? out = >[]; + for (int i = 0; i < _amount; i++) { + List xx = []; + for (int j = 1; j <= _amount; j++) { + xx.add(_dots[i].getLength(j)); + } + out.add(xx); + } + return out; + } + //*****Getters******* + + //******Print****** void printG() { stdout.write("$_name: "); if (_oriented) { - stdout.write("Не ориентированный, "); - } else { stdout.write("Ориентированный, "); + } else { + stdout.write("Не ориентированный, "); } if (_useLength) { print("Взвешенный"); @@ -199,4 +243,75 @@ class Graphs { i.printD(); } } + + void toFile(String name) { + Separators sep = Separators(); + var file = File(name); + file.writeAsStringSync("$_name\n"); + if (_oriented) { + file.writeAsStringSync(sep.isOriented, mode: FileMode.append); + } else { + file.writeAsStringSync(sep.isNotOriented, mode: FileMode.append); + } + if (_useLength) { + file.writeAsStringSync(sep.hasLength, mode: FileMode.append); + } else { + file.writeAsStringSync(sep.hasNoLength, mode: FileMode.append); + } + for (int i = 0; i < _amount; i++) { + file.writeAsStringSync((i + 1).toString() + sep.dotToConnections, + mode: FileMode.append); + var d = _dots[i].ln; + for (var j in d.keys) { + file.writeAsStringSync( + j.toString() + sep.dotToLength + d[j].toString() + " ", + mode: FileMode.append); + } + file.writeAsStringSync(sep.nL, mode: FileMode.append); + } + file.writeAsStringSync(sep.end, mode: FileMode.append); + } + //******Print****** + + //*******Constructor******** + Graphs() { + _name = "Udefined"; + _dots = []; + _useLength = false; + _oriented = false; + _amount = 0; + _nameTable = {}; + } + Graphs.fromList(String n, List d, bool useL, bool oriented) { + _name = n; + _dots = d; + _useLength = useL; + _amount = _dots.length; + _oriented = oriented; + _syncNum(); + if (!_oriented) { + for (int i = 0; i < _amount; i++) { + _fixPathAfterInsert(_dots[i]); + } + } + if (!_oriented) _fullFix(); + } + Graphs.fromFile(String path) { + File file = File(path); + List lines = file.readAsLinesSync(); + for (var l in lines) { + print(l); + } + } + //*******Constructor******** + + //Copy + Graphs.clone(Graphs a) { + _name = a.getName(); + _dots = a.getDots(); + _oriented = a.getDoubleSided(); + _useLength = a.getUseLength(); + _amount = _dots.length; + _syncNameTable(); + } }