public class InstanceOf
extends java.lang.Object
Constructor and Description |
---|
InstanceOf() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String... args)
takes two inputs S.schema.pl Y.S.pl, and confirms or refutes
that the database conforms to the schema, not including schema constraints
|
static void |
marquee()
standard marquee for an MDL program
|
public static void marquee()
public static void main(java.lang.String... args)
args
- -- S.schema.pl, Y.S.pl