ltl class
2017-04-07 22:19:13 0 举报
LTI(Lifetime Training Institute)是一家专注于提供终身教育和技能培训的机构。我们的目标是帮助个人和组织提升他们的专业技能,以适应不断变化的工作环境和市场需求。我们的课程涵盖了各种领域,包括计算机技术、商业管理、医疗保健等。我们的教师都是各自领域的专家,他们有丰富的实践经验和教学经验。我们还提供在线学习平台,使学员可以在任何时间、任何地点进行学习。我们相信,通过我们的培训,学员可以获得必要的技能和知识,以实现他们的职业目标和个人发展。
作者其他创作
大纲/内容
IEquivalent
IFinally
Implies
symbol():String
IFormula
Finally
symbol():String
Not
IBinaryFormula
+ getSubformula1():IFormula+ getSubformula2():IFormula
IProposition
+ getLabel():String+ equals(Object obj): boolean+ hashCode(): int
Or
Release
Equivalent
IUntil
UnaryFormula
+ subformula:IFormula
+ getSubformula():IFormula+ equals(Object obj): boolean+ hashCode(): int+ toString():String+ symbol(): String
INot
BinaryFormula
+ subformula1:IFormula+ subformula2:IFormula
+ getSubformula1():IFormula+ getSubformula2():IFormula+ equals(Object obj): boolean+ hashCode(): int+ toString():String+ symbol(): String
Proposition
+ label:String
+ getLabel():String+ equals(Object obj): boolean+ hashCode(): int+ toString():String
Globally
IGlobally
IOr
IAnd
INext
And
Next
Until
IUnaryFormula
+ getSubformula():IFormula
IRelease
IImplies
0 条评论
下一页