lyuehh

Click in the open space to add a node, drag from one node to another to add an edge.
Ctrl-drag a node to move the graph layout.
Click a node or an edge to select it.

When a node is selected: R toggles reflexivity, Delete removes the node.
When an edge is selected: L(eft), R(ight), B(oth) change direction, Delete removes the edge.

To see this example as part of a larger project, check out Modal Logic Playground!

<!DOCTYPE html>
<html lang="zh-CN">
  ...
</html>

<meta name="viewport" content="width=device-width, initial-scale=1.0">

	<!DOCTYPE html>
	<html>
	<head>
	<script src="http://ajax.googleapis.com/ajax/libs/jquery/2.0.2/jquery.min.js"></script>
	<meta charset=utf-8 />
	<title>JS Bin</title>
	<script>
	$(function() {
	var $t = $('#time');
	setInterval(function() {

	<!DOCTYPE html>
	<html>
	<head>
	<script src="http://cdnjs.cloudflare.com/ajax/libs/raphael/2.1.0/raphael-min.js"></script>
	<script src="http://d3js.org/d3.v3.min.js"></script>
	<script src="http://documentcloud.github.io/underscore/underscore-min.js"></script>
	<script src="http://ajax.googleapis.com/ajax/libs/jquery/2.0.2/jquery.min.js"></script>
	<meta charset=utf-8 />
	<title>JS Bin</title>
	<script>

	{
	"name": "flare",
	"children": [
	{
	"name": "analytics",
	"children": [
	{
	"name": "cluster",
	"children": [
	{"name": "AgglomerativeCluster", "size": 3938},

	<!DOCTYPE html>
	<html>
	<head>
	<script src="http://cdnjs.cloudflare.com/ajax/libs/raphael/2.1.0/raphael-min.js"></script>
	<script src="http://d3js.org/d3.v3.min.js"></script>
	<script src="http://documentcloud.github.io/underscore/underscore-min.js"></script>
	<script src="http://ajax.googleapis.com/ajax/libs/jquery/2.0.2/jquery.min.js"></script>
	<meta charset=utf-8 />
	<title>JS Bin</title>
	<script>

	<?xml version="1.0" standalone="no"?>

	<svg width="12cm" height="4cm" viewBox="0 0 1200 400"
	xmlns="http://www.w3.org/2000/svg" version="1.1">
	<desc>Example polyline01 - increasingly larger bars</desc>

	<!-- Show outline of canvas using 'rect' element -->
	<rect x="1" y="1" width="1198" height="398"
	fill="none" stroke="blue" stroke-width="2" />

	var check = function(value, type, blackData, whiteData) {
	var blackDataObj = _.groupBy(blackData, function(i) {
	var flag = (i.target.indexOf('@') !== -1) ? "email" : "domain";
	return flag;
	});
	var whiteDataObj = _.groupBy(whiteData, function(i) {
	var flag = (i.target.indexOf('@') !== -1) ? "email" : "domain";
	return flag;
	});
	// todo...

	#!/bin/sh

	if [ $# -ne 3 ];
	then
	echo "need 3 args.."
	exit 1
	fi

	for((i=0;i<$1;i++))
	do