|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectRBNpackage.Instantiation
public class Instantiation
Nested Class Summary | |
---|---|
static class |
Instantiation.SetRelationship
|
Constructor Summary | |
---|---|
Instantiation()
Creates new Instantiation |
|
Instantiation(Instantiation toCopy)
|
|
Instantiation(OneStrucData dat)
|
Method Summary | |
---|---|
void |
add(Atom at,
boolean tv,
java.lang.String dv)
|
void |
add(Atom at,
int tv,
java.lang.String dv)
|
void |
add(Rel r,
int[][] tuples,
boolean tv,
java.lang.String dv)
|
void |
add(Rel r,
int[] tuple,
boolean tv,
java.lang.String dv)
|
java.util.Vector<int[]> |
allFalse(Rel r)
Returns all tuples that are instantiated to false in relation r Tuples represented as integer arrays, using the internal indices of objects |
java.util.Vector<java.lang.String> |
allFalse(Rel r,
RelStruc A)
Returns all tuples that are instantiated to false in relation r Tuples represented as string arrays, using the names of objects as defined in A |
java.util.Vector<InstAtom> |
allInstAtoms()
|
java.util.Vector<int[]> |
allTrue(Rel r)
Returns all tuples that are instantiated to true in relation r Tuples represented as integer arrays, using the internal indices of objects |
Instantiation.SetRelationship |
characterize(Instantiation other)
|
boolean |
containsAll(Instantiation other)
|
Instantiation |
copy()
|
OneStrucData |
data()
|
void |
delete(Atom at)
|
void |
delete(Rel r,
int[] tuple)
|
void |
delete(Rel r,
int[] tuple,
boolean tv)
|
void |
deleteShift(int a)
|
boolean |
isEmpty()
|
java.lang.String |
printAsString(RelStruc A,
java.lang.String pref)
|
void |
reset()
|
void |
saveToBLPDatFile(java.lang.String filename,
int domsize)
|
void |
saveToRDEF(java.io.File savefile,
RelStruc rs)
|
void |
shiftArgs(int a)
|
int |
size()
|
int |
truthValueOf(Atom at)
Returns 1,0, or -1 according to whether at is true, false, or undefined according to this instantiation. |
int |
truthValueOf(Rel r,
int[] tuple)
Returns 1,0, or -1 according to whether r(tuple) is true, false, or undefined according to this instantiation. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Instantiation()
public Instantiation(Instantiation toCopy)
public Instantiation(OneStrucData dat)
Method Detail |
---|
public boolean containsAll(Instantiation other)
public Instantiation.SetRelationship characterize(Instantiation other)
public int size()
public void add(Atom at, int tv, java.lang.String dv)
public void add(Atom at, boolean tv, java.lang.String dv)
public void add(Rel r, int[] tuple, boolean tv, java.lang.String dv)
public void add(Rel r, int[][] tuples, boolean tv, java.lang.String dv)
public java.util.Vector<int[]> allTrue(Rel r)
public java.util.Vector<int[]> allFalse(Rel r)
public java.util.Vector<java.lang.String> allFalse(Rel r, RelStruc A)
public void reset()
public boolean isEmpty()
public void delete(Atom at)
public void delete(Rel r, int[] tuple)
public void delete(Rel r, int[] tuple, boolean tv)
public void deleteShift(int a)
public void shiftArgs(int a)
public Instantiation copy()
public java.lang.String printAsString(RelStruc A, java.lang.String pref)
public int truthValueOf(Atom at)
public int truthValueOf(Rel r, int[] tuple)
public java.util.Vector<InstAtom> allInstAtoms()
public void saveToBLPDatFile(java.lang.String filename, int domsize)
public OneStrucData data()
public void saveToRDEF(java.io.File savefile, RelStruc rs)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |