org.mklab.tool.control.system
クラス ControlSystemOption

java.lang.Object
  org.mklab.tool.control.system.ControlSystemOption

public class ControlSystemOption
extends Object

ControlSystemのオプションを表すクラスです。

バージョン:

$Revision$, 2010/05/12

作成者:

koga

コンストラクタの概要

ControlSystemOption()

メソッドの概要

boolean	isContractingAllConstantEdges() 全ての定数エッジを縮約するか判定します。
boolean	isRequiringDescriptor() ディスクリプタ形式で求めるか判定します。
boolean	isRequiringLinearSystem() 線形システムを求めるか判定します。
boolean	isRequiringPrimitiveExpression() 最小の要素で式を表現するか判定します。
boolean	isRequiringReachableSubSystem() 可到達な部分システムを求めるか判定します。
void	setContractingAllConstantEdges(boolean contractingAllConstantEdges) 全ての定数エッジを縮約するか設定します。
void	setRequiringDescriptor(boolean requiringDescriptor) ディスクリプタ形式で求めるか設定します。
void	setRequiringLinearSystem(boolean requiringLinearSystem) 線形システムを求めるか設定します。
void	setRequiringPrimitiveExpression(boolean requiringPrimitiveExpression) 最小の要素で式を表現するか設定します。
void	setRequiringReachableSubSystem(boolean requiringReachableSubSystem) 可到達な部分システムを求めるか設定します。

クラス java.lang.Object から継承されたメソッド

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

コンストラクタの詳細

ControlSystemOption

public ControlSystemOption()

メソッドの詳細

setRequiringLinearSystem

public void setRequiringLinearSystem(boolean requiringLinearSystem)

線形システムを求めるか設定します。

パラメータ:

requiringLinearSystem - 線形システムを求めるならばtrue

isRequiringLinearSystem

public boolean isRequiringLinearSystem()

線形システムを求めるか判定します。

戻り値:

線形システムを求めるならばtrue

setRequiringDescriptor

public void setRequiringDescriptor(boolean requiringDescriptor)

ディスクリプタ形式で求めるか設定します。

パラメータ:

requiringDescriptor - ディスクリプタ形式で求めるならばtrue

isRequiringDescriptor

public boolean isRequiringDescriptor()

ディスクリプタ形式で求めるか判定します。

戻り値:

ディスクリプタ形式で求めるならばtrue

setContractingAllConstantEdges

public void setContractingAllConstantEdges(boolean contractingAllConstantEdges)

全ての定数エッジを縮約するか設定します。

パラメータ:

contractingAllConstantEdges - 全ての定数エッジを縮約するならばtrue

isContractingAllConstantEdges

public boolean isContractingAllConstantEdges()

全ての定数エッジを縮約するか判定します。

戻り値:

全ての定数エッジを縮約するならばtrue

setRequiringReachableSubSystem

public void setRequiringReachableSubSystem(boolean requiringReachableSubSystem)

可到達な部分システムを求めるか設定します。

パラメータ:

requiringReachableSubSystem - 可到達な部分システムを求めるならばtrue

isRequiringReachableSubSystem

public boolean isRequiringReachableSubSystem()

可到達な部分システムを求めるか判定します。

戻り値:

可到達な部分システムを求めるならばtrue

setRequiringPrimitiveExpression

public void setRequiringPrimitiveExpression(boolean requiringPrimitiveExpression)

最小の要素で式を表現するか設定します。

パラメータ:

requiringPrimitiveExpression - 最小の要素で式を表現するならばtrue

isRequiringPrimitiveExpression

public boolean isRequiringPrimitiveExpression()

最小の要素で式を表現するか判定します。

戻り値:

最小の要素で式を表現するならばtrue