📄 activity.java
字号:
package semantic;
public class Activity extends Action{
private Rate rate;
public Activity(String s,Rate r)
{
super(s);
rate=r;
}
public Activity(Action a,Rate r)
{
super(a);
rate=r;
}
public String toString()
{
return "("+name+","+rate.toString()+")";
}
public Rate getRate()
{
return rate;
}
public int compare(Activity a)
{
return name.compareTo(a.name);
}
public Activity coopwith(Activity a,Process p1,Process p2) throws RateException
{
Rate r1=p1.getRate((Action)this);
Rate r2=p2.getRate(a);
Rate.iseval=true;
Rate f1=r1.evalRate();
Rate f2=r2.evalRate();
Rate.iseval=false;
if(f1.isPassive()&&!f2.isPassive())
{
Rate g1=this.rate.div(r1);
Rate retRate=g1.mult(a.rate);
return new Activity((Action)this,retRate.evalRate());
}
if(!f1.isPassive()&&f2.isPassive())
{
Rate g2=a.rate.div(r2);
Rate retRate=g2.mult(this.rate);
return new Activity((Action)this,retRate.evalRate());
}
Rate h1=this.rate.div(r1);
Rate h2=a.rate.div(r2);
Rate retRate=r1.min(r2).mult(h1.mult(h2));
return new Activity((Action)this,retRate.evalRate());
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -