at.jku.risc.stout.uru.data

Class Hedge

java.lang.Object

at.jku.risc.stout.uru.util.Printable

at.jku.risc.stout.uru.data.Hedge

public class Hedge
extends Printable

A Hedge is a sequence of TermNodes.

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
static Hedge	nullHedge
static String	PRINT_PARAM_END
static String	PRINT_PARAM_SEPARATOR
static String	PRINT_PARAM_START

Constructor Summary

Constructors

Constructor and Description
Hedge()
Hedge(List<TermNode> sequence)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(TermNode t)
Hedge	apply(Map<Variable,TermNode> sigma)
Hedge	copy()
boolean	equals(Object other)
TermNode	get(int i)
List<TermNode>	getSequence()
int	hashCode()
Map<TermAtom,Integer>	headF()
Map<TermAtom,Integer>	headV()
boolean	isEmpty()
void	print(Writer out)
void	print(Writer out, boolean isBlock)
int	replace(int idx, TermNode toTermOrHedge) Replaces the TermNode at the given position with a new TermNode if the TermAtom of the new node is not null.
int	size()
Hedge	subHedge(int fromIdx, int toIdx)
Hedge	substitute(Variable x, TermNode t)
String	toHedgePartString()
String	toHedgeString()

Methods inherited from class at.jku.risc.stout.uru.util.Printable

toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

nullHedge

public static final Hedge nullHedge

PRINT_PARAM_END

public static String PRINT_PARAM_END

PRINT_PARAM_SEPARATOR

public static String PRINT_PARAM_SEPARATOR

PRINT_PARAM_START

public static String PRINT_PARAM_START

Constructor Detail

Hedge

public Hedge()

Hedge

public Hedge(List<TermNode> sequence)

Method Detail

add

public void add(TermNode t)

apply

public Hedge apply(Map<Variable,TermNode> sigma)

copy

public Hedge copy()

equals

public boolean equals(Object other)

Overrides:

equals in class Object

get

public TermNode get(int i)

getSequence

public List<TermNode> getSequence()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

headF

public Map<TermAtom,Integer> headF()

headV

public Map<TermAtom,Integer> headV()

isEmpty

public boolean isEmpty()

print

public void print(Writer out)
           throws IOException

Specified by:

print in class Printable

Throws:

IOException

print

public void print(Writer out,
         boolean isBlock)
           throws IOException

Throws:

IOException

replace

public int replace(int idx,
          TermNode toTermOrHedge)

Replaces the TermNode at the given position with a new TermNode if the TermAtom of the new node is not null. Otherwise the old TermNode will be replaced by the given sequence.

Returns:

Returns the amount of nodes inserted instead of the old one.

size

public int size()

subHedge

public Hedge subHedge(int fromIdx,
             int toIdx)

substitute

public Hedge substitute(Variable x,
               TermNode t)

toHedgePartString

public String toHedgePartString()

toHedgeString

public String toHedgeString()