Custom Graph - Revision history

Michael Leuschel: /* Generating Custom Graphs */

2024-01-08T09:25:09Z

Generating Custom Graphs

← Older revision		Revision as of 09:25, 8 January 2024
Line 44:		Line 44:
	The resulting visualisation ([[File: IceCream_Generic.pdf]]) can be seen here:		The resulting visualisation ([[File: IceCream_Generic.pdf]]) can be seen here:

	[[File: IceCream_Generic.png\|~~600px~~\|center]]		[[File: IceCream_Generic.png\|700px\|center]]

	In probcli you can also use the command <tt>--dotexpr expr_as_graph Formula File</tt> to visualise alternate custom graph records.		In probcli you can also use the command <tt>--dotexpr expr_as_graph Formula File</tt> to visualise alternate custom graph records.

Michael Leuschel: /* Generating Custom Graphs */

2024-01-08T09:24:30Z

Generating Custom Graphs

← Older revision		Revision as of 09:24, 8 January 2024
Line 38:		Line 38:
	You can generate the custom graph for the current state in ProB Tcl/Tk by right-clicking in the "State Properties" pane and selecting "View State as Custom Graph" or by going to the State submenu of the Visualisation menu. You can also enter alternate custom graph records into the "Expression as Dot Graph" dialog in the Formulas submenu of the visualisation menu.		You can generate the custom graph for the current state in ProB Tcl/Tk by right-clicking in the "State Properties" pane and selecting "View State as Custom Graph" or by going to the State submenu of the Visualisation menu. You can also enter alternate custom graph records into the "Expression as Dot Graph" dialog in the Formulas submenu of the visualisation menu.

	In ProB2-UI you can view the custom graph via the "Graph Visualisation" dialog in the Visualisation menu ("Customized Current State as Graph" line). You can also add alternate custom graph record expressions into the "(Relational) Expression as Graph..." line.		In ProB2-UI you can view the custom graph via the "Graph Visualisation" dialog in the Visualisation menu ("Customized Current State as Graph" line). You can also add alternate custom graph record expressions into the "(Relational) Expression as Graph..." line.

	In [[probcli]] you can use the following command to create a custom graph (you can write to .dot, .svg or .pdf files): <tt>probcli IceCream_Generic.mch -init -dot custom_graph IceCream_Generic.pdf</tt>.		In [[probcli]] you can use the following command to create a custom graph (you can write to .dot, .svg or .pdf files): <tt>probcli IceCream_Generic.mch -init -dot custom_graph IceCream_Generic.pdf</tt>.

Michael Leuschel: /* Generating Custom Graphs */

2024-01-08T09:24:24Z

Generating Custom Graphs

← Older revision		Revision as of 09:24, 8 January 2024
Line 36:		Line 36:

	=== Generating Custom Graphs ===		=== Generating Custom Graphs ===
	You can generate the custom graph for the current state in ProB Tcl/Tk by right-clicking in the "State Properties" pane and selecting "View State as Custom Graph" or by going to the State submenu of the Visualisation menu. In ProB2-UI you can view the custom graph via the "Graph Visualisation" dialog in the Visualisation menu.		You can generate the custom graph for the current state in ProB Tcl/Tk by right-clicking in the "State Properties" pane and selecting "View State as Custom Graph" or by going to the State submenu of the Visualisation menu. You can also enter alternate custom graph records into the "Expression as Dot Graph" dialog in the Formulas submenu of the visualisation menu.

			In ProB2-UI you can view the custom graph via the "Graph Visualisation" dialog in the Visualisation menu ("Customized Current State as Graph" line). You can also add alternate custom graph record expressions into the "(Relational) Expression as Graph..." line.

	In [[probcli]] you can use the following command to create a custom graph (you can write to .dot, .svg or .pdf files): <tt>probcli IceCream_Generic.mch -init -dot custom_graph IceCream_Generic.pdf</tt>.		In [[probcli]] you can use the following command to create a custom graph (you can write to .dot, .svg or .pdf files): <tt>probcli IceCream_Generic.mch -init -dot custom_graph IceCream_Generic.pdf</tt>.

Line 42:		Line 45:

	[[File: IceCream_Generic.png\|600px\|center]]		[[File: IceCream_Generic.png\|600px\|center]]

			In probcli you can also use the command <tt>--dotexpr expr_as_graph Formula File</tt> to visualise alternate custom graph records.

	=== Full Example ===		=== Full Example ===

Michael Leuschel: /* Generating Custom Graphs */

2024-01-08T09:18:32Z

Generating Custom Graphs

← Older revision		Revision as of 09:18, 8 January 2024
Line 37:		Line 37:
	=== Generating Custom Graphs ===		=== Generating Custom Graphs ===
	You can generate the custom graph for the current state in ProB Tcl/Tk by right-clicking in the "State Properties" pane and selecting "View State as Custom Graph" or by going to the State submenu of the Visualisation menu. In ProB2-UI you can view the custom graph via the "Graph Visualisation" dialog in the Visualisation menu.		You can generate the custom graph for the current state in ProB Tcl/Tk by right-clicking in the "State Properties" pane and selecting "View State as Custom Graph" or by going to the State submenu of the Visualisation menu. In ProB2-UI you can view the custom graph via the "Graph Visualisation" dialog in the Visualisation menu.
	In [[probcli]] you can use the following command to create a custom graph (you can write to .dot, .svg or .pdf files): <tt>probcli IceCream_Generic.mch -init -dot custom_graph ~~FILE~~.pdf</tt>.		In [[probcli]] you can use the following command to create a custom graph (you can write to .dot, .svg or .pdf files): <tt>probcli IceCream_Generic.mch -init -dot custom_graph IceCream_Generic.pdf</tt>.

	The resulting visualisation ([[File: IceCream_Generic.pdf]]) can be seen here:		The resulting visualisation ([[File: IceCream_Generic.pdf]]) can be seen here:

Michael Leuschel: /* Generating Custom Graphs */

2024-01-08T09:18:14Z

Generating Custom Graphs

← Older revision		Revision as of 09:18, 8 January 2024
Line 42:		Line 42:

	[[File: IceCream_Generic.png\|600px\|center]]		[[File: IceCream_Generic.png\|600px\|center]]

	~~[[File: IceCream_Generic_cg.svg]]~~

	=== Full Example ===		=== Full Example ===

Michael Leuschel at 09:17, 8 January 2024

2024-01-08T09:17:49Z

← Older revision		Revision as of 09:17, 8 January 2024
Line 43:		Line 43:
	[[File: IceCream_Generic.png\|600px\|center]]		[[File: IceCream_Generic.png\|600px\|center]]

	[[File: IceCream_Generic_cg.svg~~\|600px\|center~~]]		[[File: IceCream_Generic_cg.svg]]

	=== Full Example ===		=== Full Example ===

Michael Leuschel: /* Generating Custom Graphs */

2024-01-08T09:17:29Z

Generating Custom Graphs

← Older revision		Revision as of 09:17, 8 January 2024
Line 37:		Line 37:
	=== Generating Custom Graphs ===		=== Generating Custom Graphs ===
	You can generate the custom graph for the current state in ProB Tcl/Tk by right-clicking in the "State Properties" pane and selecting "View State as Custom Graph" or by going to the State submenu of the Visualisation menu. In ProB2-UI you can view the custom graph via the "Graph Visualisation" dialog in the Visualisation menu.		You can generate the custom graph for the current state in ProB Tcl/Tk by right-clicking in the "State Properties" pane and selecting "View State as Custom Graph" or by going to the State submenu of the Visualisation menu. In ProB2-UI you can view the custom graph via the "Graph Visualisation" dialog in the Visualisation menu.
	In [[probcli]] you can use the following command to create a custom graph (you can write to .dot or .pdf files): <tt>-dot custom_graph FILE.pdf</tt>		In [[probcli]] you can use the following command to create a custom graph (you can write to .dot, .svg or .pdf files): <tt>probcli IceCream_Generic.mch -init -dot custom_graph FILE.pdf</tt>.

	The resulting visualisation ([[File: IceCream_Generic.pdf]]) can be seen here:		The resulting visualisation ([[File: IceCream_Generic.pdf]]) can be seen here:
Line 43:		Line 43:
	[[File: IceCream_Generic.png\|600px\|center]]		[[File: IceCream_Generic.png\|600px\|center]]

			[[File: IceCream_Generic_cg.svg\|600px\|center]]

	=== Full Example ===		=== Full Example ===

Michael Leuschel at 09:15, 8 January 2024

2024-01-08T09:15:02Z

← Older revision		Revision as of 09:15, 8 January 2024
Line 35:		Line 35:
	Note that there can be other edges fields, called edges0, ..., edges9.		Note that there can be other edges fields, called edges0, ..., edges9.

			=== Generating Custom Graphs ===
	You can generate the custom graph for the current state in ProB Tcl/Tk by right-clicking in the "State Properties" pane and selecting "View State as Custom Graph" or by going to the State submenu of the Visualisation menu. In ProB2-UI you can view the custom graph via the "Graph Visualisation" dialog in the Visualisation menu.		You can generate the custom graph for the current state in ProB Tcl/Tk by right-clicking in the "State Properties" pane and selecting "View State as Custom Graph" or by going to the State submenu of the Visualisation menu. In ProB2-UI you can view the custom graph via the "Graph Visualisation" dialog in the Visualisation menu.
			In [[probcli]] you can use the following command to create a custom graph (you can write to .dot or .pdf files): <tt>-dot custom_graph FILE.pdf</tt>

	The resulting visualisation ([[File: IceCream_Generic.pdf]]) can be seen here:		The resulting visualisation ([[File: IceCream_Generic.pdf]]) can be seen here:

Line 41:		Line 44:


			=== Full Example ===

	The full model for experimentation is below.		The full model for experimentation is below.

Michael Leuschel at 09:11, 8 January 2024

2024-01-08T09:11:41Z

← Older revision		Revision as of 09:11, 8 January 2024
Line 36:		Line 36:

	You can generate the custom graph for the current state in ProB Tcl/Tk by right-clicking in the "State Properties" pane and selecting "View State as Custom Graph" or by going to the State submenu of the Visualisation menu. In ProB2-UI you can view the custom graph via the "Graph Visualisation" dialog in the Visualisation menu.		You can generate the custom graph for the current state in ProB Tcl/Tk by right-clicking in the "State Properties" pane and selecting "View State as Custom Graph" or by going to the State submenu of the Visualisation menu. In ProB2-UI you can view the custom graph via the "Graph Visualisation" dialog in the Visualisation menu.
	The resulting visualisation can be seen here:		The resulting visualisation ([[File: IceCream_Generic.pdf]]) can be seen here:

	[[File: IceCream_Generic.png\|600px\|center]]		[[File: IceCream_Generic.png\|600px\|center]]

	~~[[File: IceCream_Generic.pdf\|600px\|center]]~~

	The full model for experimentation is below.		The full model for experimentation is below.

Michael Leuschel at 09:08, 8 January 2024

2024-01-08T09:08:52Z

← Older revision		Revision as of 09:08, 8 January 2024
Line 39:		Line 39:

	[[File: IceCream_Generic.png\|600px\|center]]		[[File: IceCream_Generic.png\|600px\|center]]

			[[File: IceCream_Generic.pdf\|600px\|center]]

	The full model for experimentation is below.		The full model for experimentation is below.