From 543669d8a3ce4d18f601e7843e74db9c57bd2f3e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Fri, 25 Apr 2014 20:11:34 +0200
Subject: [PATCH] arand: help
---
arand/src/arand.cpp | 15 ++++++---------
1 file changed, 6 insertions(+), 9 deletions(-)
diff --git a/arand/src/arand.cpp b/arand/src/arand.cpp
index f8e895687b..f7fbdb386a 100644
--- a/arand/src/arand.cpp
+++ b/arand/src/arand.cpp
@@ -20,15 +20,12 @@ using namespace std;
void help( void )
{
- cout << endl;
- cout << "arand 0.01" << endl;
- cout << "Generates random automata." << endl;
- cout << "Usage: arand -n -d -a" << endl << endl;
- cout << " -n, --nodes=NODES \t Number of nodes of automata." << endl;
- cout << " -d, --density=DENSITY \t Percentage of transitions to generate. 1.0 = automata graph is tree, 100.0 = every possible transition." << endl;
- cout << " -a, --alphabet=ALPHABET \t If numerical, generates random alphabet of given size, else comma separated list of alphabet symbols." << endl;
-
- cout << endl;
+ cout << "arand" << endl;
+ cout << "Generates random automaton." << endl;
+ cout << "Usage: arand -n=N -d=D -a=A" << endl << endl;
+ cout << " -n, --nodes=N \t Number of nodes of automata." << endl;
+ cout << " -d, --density=D \t Percentage of transitions to generate. 1.0 = automata graph is tree, 100.0 = every possible transition." << endl;
+ cout << " -a, --alphabet=A \t Alphabet size." << endl;
}
--
GitLab