?? place.cs
字號:
using System;
namespace MyPetriNet
{
/// <summary>
/// Place --庫所,系統可能處的狀態。
/// </summary>
public class Place
{
private int tokenNum;
private int id;
private string name;
public string PlaceName
{
set
{
name=value;
}
get
{
return name;
}
}
public Place()
{
}
public int TokenNumber
{
set
{
tokenNum=value;
}
get
{
return tokenNum;
}
}
public int PlaceId
{
set
{
id=value;
}
get
{
return id;
}
}
public void addTokenNum()
{
tokenNum++;
}
public void desTokenNum()
{
tokenNum--;
// if(tokenNum<0)
// System.err.println("an error accured");
// return;
//exit(0);
}
}
}
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -