户规定的打印设置内容是否与约束处理对应。
[0068]装置信息存储单元112存储经由语言监测器104和状态数据库110从图像形成装置60a和60b获取的、图像形成装置60a和60b中的每个的功能信息。该功能信息针对图像形成装置60a和60b中的每个而存储。
[0069]约束存储单元113存储当约束处理单元108导出共用设置约束并根据该共用设置约束来进行确定时所需要的信息。
[0070]终端装置10包括作为约束存储单元113的功能的关系存储单元131、集合存储单元132和设置约束存储单元133。
[0071]关系存储单元131是目的地存储单元和组合存储单元的示例，并且存储当约束处理单元108导出共用设置约束并根据该共用设置约束来进行确定时所需要的信息。更具体地，关系存储单元131存储抽象状态组和抽象约束关系组中的每个。抽象状态组和抽象约束关系组可以预先存储(定义)在关系存储单元131中，或可以由用户借助Π显示单元106来定义。
[0072]集合存储单元132是组存储单元的示例，并且针对图像形成装置60a和60b中的每个，存储由集合导出单元121导出的打印设置的集合。这里所使用的术语“打印设置的集合”指的是零个或更多个打印设置(具体设置项和相应设置项的设置值(参数))的集合体。即，这里所使用的术语“打印设置的集合”指的是打印设置的类型的集合体(组)。
[0073]设置约束存储单元133存储由约束设置单元122设置的共用设置约束。
[0074]图4例示了终端装置10的硬件构造。
[0075]现在将参照图4描述终端装置10的硬件构造。
[0076]终端装置10包括充当计算单元的CPU 11 ;充当存储单元的主存储器12 ;以及磁盘驱动器(硬盘驱动器(HDD))13。CPU 11执行诸如操作系统(OS)和应用等的各种类型的软件，以实现上述功能。主存储器12是用于存储各种类型的软件和用于执行软件的数据的存储区域。磁盘驱动器13是用于存储输入到各种类型的软件的数据和从各种类型的软件输出的数据等的存储区域。
[0077]终端装置10还包括用于与外部通信的通信接口 I/F 14 ;包括视频存储器和显示器在内的显示机构15 ;以及作为接收单元的示例的输入装置16(诸如，键盘和鼠标)。
[0078]共用设置禁令的导出
[0079]图5的(a)至图5的(d)是例示了共用设置约束的导出的说明图。
[0080]应用了本示例性实施方式的终端装置10包括如上所述充当所称的通用驱动器的打印机驱动器102。可能存在这样的情况:例如，用户希望在使图像形成装置60执行打印处理之前对打印机驱动器102做一些变更，以自定义打印设置(对打印设置做一些变更)。还可能存在这样的情况:当例如向图像形成系统I添加新图像形成装置(未例示)时，用户希望对打印机驱动器102做一些更新(变更)，使得相同的打印设置应用于新图像形成装置和现有图像形成装置60这两方。
[0081]现在假定如图1例示，图像形成装置60b作为输出目的地新添加于包括终端装置10和图像形成装置60a在内的图像形成系统I。以下，描述在这种情况下针对更新打印机驱动器102而执行的、用于生成共用设置约束的处理。
[0082]在图1例示的示例中的图像形成装置60a和60b中，可用打印设置是“输出尺寸”，该“输出尺寸”是与上面可以形成图像的纸张的尺寸有关的打印设置；以及“双面”，该“双面”是与双面打印有关的打印设置。
[0083]针对图像形成装置60a可以作为“输出尺寸”设置的设置值是“A3”、“B4”、“A4”、“B5”、“A5”、“B6”、“A6”、“8.5X 11”、“10X 11”、“明信片”以及“信封长形 #3”。针对图像形成装置60a可以作为“双面”设置的设置值是“禁用”、“长边装订”以及“短边装订”。
[0084]另一方面，针对图像形成装置60b可以作为“输出尺寸”设置的设置值是“A4”、“85”、15”、16”、16”、“明信片”以及“往返明信片”。针对图像形成装置60b可以作为“双面”设置的设置值是“禁用”和“长边装订”。
[0085]进一步地，针对图像形成装置60a和60b这两者可以作为“输出尺寸”设置的设置值是14”、15”、15”、16”、16”以及“明信片”。针对图像形成装置60a和60b这两者可以作为“双面”设置的设置值是“禁用”和“长边装订”。
[0086]如图5的(a)所例示，从例如在关系存储单元131中预先存储的抽象状态组中，选择规定针对纸张反转操作而支持的输出纸张尺寸的状态作为第一抽象状态，并且选择规定双面打印的状态作为第二抽象状态。
[0087]随后，通过关联第一抽象状态和第二抽象状态来设置约束关系。更具体地，设置约束关系，使得“除了第一抽象状态之外的状态”和“第二抽象状态”不能够同时存在。上述约束关系(约束关系001)是“不能够同时规定针对纸张反转操作而不支持的纸张尺寸的输出设置和双面打印”。该约束关系存储在约束存储单元113的关系存储单元131中。
[0088]随后，针对图像形成装置60a和60b中的每个，基于在关系存储单元131中存储的第一抽象状态和第二抽象状态以及当执行装置信息存储单元757中存储的打印功能时可以设置的打印设置，导出可以实现第一抽象状态和第二抽象状态的打印设置的集合。
[0089]将参照图5的(b)给出详细描述。
[0090]首先，关于图像形成装置60a，可以实现第一抽象状态的打印设置的集合(即，针对纸张反转操作而支持的输出纸张尺寸的集合(打印设置集合AOOl))包括“A3”、“B4”、“A4”、“B5”、“A5”以及“8.5X11”。进一步地，关于图像形成装置60a，可以实现第二抽象状态的打印设置的集合(即，实现了双面打印的打印设置的集合(打印设置集合A002))包括“长边装订”和“短边装订”。
[0091]在另一方面，关于图像形成装置60b，可以实现第一抽象状态的打印设置的集合(打印设置集合B001)包括“A4”和“B5”，并且可以实现第二抽象状态的打印设置的集合(打印设置集合B002)包括“长边装订”。
[0092]随后，基于上述打印设置的集合的组，导出包括可以实现第一抽象状态和第二抽象状态这两者并对图像形成装置60a和60b共用的打印设置的集合。
[0093]将参照图5的(C)给出详细描述。
[0094]首先，包括可以实现第一抽象状态的打印设置的集合(即，包括针对纸张反转操作而支持的输出纸张尺寸、且对图像形成装置60a和60b共用的集合)(打印设置集合ABOOI)可以作为打印设置集合AOOl和打印设置集合BOOl的交集而导出。因此，打印设置集合AB001包括“A4”和“B5”。进一步地，包括可以实现第二抽象状态的打印设置的集合(即，包括实现双面打印的打印设置、且对图像形成装置60a和60b共用的集合)(打印设置集合AB002)可以作为打印设置集合A002和打印设置集合B002的交集而导出。因此，打印设置集合AB002包括“长边装订”。
[0095]然后，导出与由上述约束关系001定义的抽象状态对应的打印设置的集合(打印设置集合P001)。换言之，导出图像形成装置60a和60b这两者需要解决的共用设置约束。“解决约束”是指避免与约束对应的打印设置并规定不与该约束对应的另一打印设置。
[0096]更具体地，参照图5的(d)，打印设置集合POOl可以被导出为打印设置集合AB001的补集和打印设置集合AB002的交集。因此，共用设置约束是被选为“输出尺寸”的“A5”、“B6”、“A6”以及“明信片”中的任一项和被选为“双面”的“长边装订”的组合。
[0097]打印设置处理
[0098]图6是例示了对打印设置进行处理的示例的流程图。
[0099]下面参照图6描述在进行打印设置时由打印机驱动器102执行的具体操作。如上所述，打印器驱动器102的关系存储单元131预先存储第一抽象状态、第二抽象状态以及第一抽象状态与第二抽象状态之间的抽象约束关系。
[0100]如图6所例示，首先，当用户执行打印时，应用101响应于例如输入装置16的操作而加载打印机驱动器102 (步骤S601)。当加载了打印机驱动器