org.rdtdm.rule
Class RuleModels

java.lang.Object
  |
  +--org.rdtdm.rule.RuleModels

public class RuleModels

extends java.lang.Object

RuleModels verwaltet eine Menge von Regelschemata.

Copyright (c) 2001 by Dirk Münstermann
All Rights Reserved

Version:

$Revision: 1.2 $ ($Date: 2001/10/11 15:48:08 $)

Changelog:

 $Log: RuleModels.java,v $
 Revision 1.2  2001/10/11 15:48:08  dirk
 adding read and write text files with ruleschemas one per line

 Revision 1.1  2001/09/26 11:31:38  dirk
 

 

Author:

Dirk Münstermann

Field Summary

private java.util.ArrayList

schemas

Constructor Summary

RuleModels()
Erzeugt eine leere Menge von Regelschema.

RuleModels(java.util.Collection col)
Erzeugt eine Menge von Regelschemata und ?bernimmt den Inhalt aus der ?bergebenen Menge von Regelschemata.

Method Summary

void	add(RuleSchema rs)
void	addAll(java.util.Collection rss)
void	addAll(RuleModels rms)
void	clear()
java.lang.Object	clone()
boolean	contains(RuleSchema rs)
boolean	containsMoreGeneral(RuleSchema rs)
static RuleModels	createExample1() Erzeugt eine Beispielmenge von Regelschemata.
static RuleModels	createExample2() Erzeugt eine Beispielmenge von Regelschemata.
RuleSchema	get(int index)
java.util.Collection	getAll()
boolean	isAllConclsSubstitutable(Literal concl)
boolean	isEmpty()
java.util.Iterator	iterator()
void	print()
void	print(java.lang.String header)
void	read(java.io.Reader in)
void	remove(int index)
void	remove(RuleSchema rs)
void	removeAll(java.util.Collection col)
int	size()
java.lang.String	toString()
void	updateRuleSchemasBySubstitutable(Literal concl)
void	write(java.io.Writer out)

Methods inherited from class java.lang.Object

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

Field Detail

schemas

private java.util.ArrayList schemas

Constructor Detail

RuleModels

public RuleModels()

Erzeugt eine leere Menge von Regelschema.

RuleModels

public RuleModels(java.util.Collection col)

Erzeugt eine Menge von Regelschemata und ?bernimmt den Inhalt aus der ?bergebenen Menge von Regelschemata.

Parameters:

col - Eine Menge von Regelschema vom Typ RuleSchema

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

print

public void print(java.lang.String header)

print

public void print()

add

public void add(RuleSchema rs)

addAll

public void addAll(java.util.Collection rss)

addAll

public void addAll(RuleModels rms)

get

public RuleSchema get(int index)

getAll

public java.util.Collection getAll()

contains

public boolean contains(RuleSchema rs)

containsMoreGeneral

public boolean containsMoreGeneral(RuleSchema rs)

size

public int size()

isEmpty

public boolean isEmpty()

iterator

public java.util.Iterator iterator()

clear

public void clear()

remove

public void remove(int index)

remove

public void remove(RuleSchema rs)

removeAll

public void removeAll(java.util.Collection col)

isAllConclsSubstitutable

public boolean isAllConclsSubstitutable(Literal concl)

updateRuleSchemasBySubstitutable

public void updateRuleSchemasBySubstitutable(Literal concl)

read

public void read(java.io.Reader in)
          throws java.io.IOException

java.io.IOException

write

public void write(java.io.Writer out)
           throws java.io.IOException

java.io.IOException

createExample1

public static RuleModels createExample1()

Erzeugt eine Beispielmenge von Regelschemata.

Returns:

Eine Menge von Regelschemata.

createExample2

public static RuleModels createExample2()

Erzeugt eine Beispielmenge von Regelschemata.

Returns:

Eine Menge von Regelschemata.